X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvm_guest.h;h=56245efd1fd4bcec08d6576297beefd6a9b5201f;hb=2b1f4ef19d766727f873476861c64339c8836a40;hp=cd2ce37be4d0eda8883951df0cd0d7dd443bf80e;hpb=28b1d0ae6db40cb3e1f5a9b3596b625d2f2af0e4;p=palacios.git

diff --git a/palacios/include/palacios/vm_guest.h b/palacios/include/palacios/vm_guest.h
index cd2ce37..56245ef 100644
--- a/palacios/include/palacios/vm_guest.h
+++ b/palacios/include/palacios/vm_guest.h
@@ -1,6 +1,9 @@
 #ifndef __VM_GUEST_H
 #define __VM_GUEST_H
 
+
+
+
 #include <palacios/vmm_mem.h>
 #include <palacios/vmm_types.h>
 #include <palacios/vmm_io.h>
@@ -9,6 +12,7 @@
 #include <palacios/vmm_dev_mgr.h>
 #include <palacios/vmm_irq.h>
 
+
 typedef ullong_t gpr_t;
 
 /*
@@ -44,6 +48,9 @@ struct vm_ctrl_ops {
 };
 
 
+
+
+
 typedef enum {SHADOW_PAGING, NESTED_PAGING} vm_page_mode_t;
 typedef enum {REAL, PROTECTED, PROTECTED_PG, PROTECTED_PAE, PROTECTED_PAE_PG, LONG, LONG_PG} vm_cpu_mode_t;