X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fgeekos%2Fmain.c;h=ae6812ad23408f082c996c038ae8997a205a6407;hb=4d691866d964c028d2b2ca96c2d16489d45dd2b5;hp=3175861c15ead9d646d708bbcb70bda48929b01e;hpb=4c3756d6082cb1bff38969f911c4f3b724b1af44;p=palacios.releases.git

diff --git a/palacios/src/geekos/main.c b/palacios/src/geekos/main.c
index 3175861..ae6812a 100644
--- a/palacios/src/geekos/main.c
+++ b/palacios/src/geekos/main.c
@@ -3,7 +3,7 @@
  * Copyright (c) 2001,2003,2004 David H. Hovemeyer <daveho@cs.umd.edu>
  * Copyright (c) 2003, Jeffrey K. Hollingsworth <hollings@cs.umd.edu>
  * Copyright (c) 2004, Iulian Neamtiu <neamtiu@cs.umd.edu>
- * $Revision: 1.8 $
+ * $Revision: 1.9 $
  * 
  * This is free software.  You are permitted to use,
  * redistribute, and modify it as specified in the file "COPYING".
@@ -335,7 +335,7 @@ void Main(struct Boot_Info* bootInfo)
   
   SerialPrintLevel(100,"Initializing VMX\n");
   PrintBoth("Initializing VMX\n");
-  VmxOnRegion * vmxRegion = InitVMX();
+  VmxOnRegion * vmxRegion = Init_VMX();
 
   if (vmxRegion==NULL) { 
     PrintBoth("VMX Cannot be turned on.  Halted.\n");