X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fgeekos%2Fvm_guest.h;h=2595de13ac6bc26629dac0ef6c6777fc4c6b2326;hb=7acd54f8c3b30d118d56186a9c6506f21f85096d;hp=fe3bd1f4566d7c3881a2383b36ba79498f32466b;hpb=ebf600fd1dc3b43e8100be168452c6e03b8a2dda;p=palacios.git

diff --git a/palacios/include/geekos/vm_guest.h b/palacios/include/geekos/vm_guest.h
index fe3bd1f..2595de1 100644
--- a/palacios/include/geekos/vm_guest.h
+++ b/palacios/include/geekos/vm_guest.h
@@ -4,7 +4,8 @@
 #include <geekos/vmm_mem.h>
 #include <geekos/ktypes.h>
 #include <geekos/vmm_io.h>
-#include <geekos/vmm_paging.h>
+//#include <geekos/vmm_paging.h>
+#include <geekos/vmm_shadow_paging.h>
 
 
 struct guest_gprs {
@@ -19,7 +20,7 @@ struct guest_gprs {
 
 
 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;
 
 typedef struct guest_info {
   ullong_t rip;
@@ -36,6 +37,8 @@ typedef struct guest_info {
   vmm_io_map_t io_map;
   // device_map
 
+  vm_cpu_mode_t cpu_mode;
+
 
   struct guest_gprs vm_regs;
 
@@ -45,6 +48,4 @@ typedef struct guest_info {
 
 
 
-
-
 #endif