X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm.c;h=5525d65b4a1b031c3ce7af6b82d0dac4ecd9841d;hb=c163873b7b96544683030cafba0e73a7ed988171;hp=7343cd5a057c79f009bb084775a10cd972fc3ad2;hpb=266af4b5b19da7bee8e7445288c7c1cb3ee194c7;p=palacios.git

diff --git a/palacios/src/palacios/vmm.c b/palacios/src/palacios/vmm.c
index 7343cd5..5525d65 100644
--- a/palacios/src/palacios/vmm.c
+++ b/palacios/src/palacios/vmm.c
@@ -26,6 +26,8 @@
 #include <palacios/vmm_instrument.h>
 
 
+/* These should be the only global variables in Palacios */
+/* They are architecture specific variables */
 v3_cpu_arch_t v3_cpu_type;
 struct v3_os_hooks * os_hooks = NULL;
 
@@ -40,10 +42,12 @@ static struct guest_info * allocate_guest() {
 
 
 void Init_V3(struct v3_os_hooks * hooks, struct v3_ctrl_ops * vmm_ops) {
+    
+    // Set global variables. 
     os_hooks = hooks;
-
     v3_cpu_type = V3_INVALID_CPU;
 
+
 #ifdef INSTRUMENT_VMM
     v3_init_instrumentation();
 #endif
@@ -64,7 +68,3 @@ void Init_V3(struct v3_os_hooks * hooks, struct v3_ctrl_ops * vmm_ops) {
 	PrintDebug("CPU has no virtualization Extensions\n");
     }
 }
-
-
-// Get CPU Type..
-