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

diff --git a/palacios/include/geekos/vm_guest.h b/palacios/include/geekos/vm_guest.h
index e18f1f0..fe3bd1f 100644
--- a/palacios/include/geekos/vm_guest.h
+++ b/palacios/include/geekos/vm_guest.h
@@ -18,15 +18,20 @@ struct guest_gprs {
 };
 
 
+typedef enum {SHADOW_PAGING, NESTED_PAGING} vm_page_mode_t;
+
 
 typedef struct guest_info {
   ullong_t rip;
   ullong_t rsp;
 
-  shadow_paging_state_t  shadow_paging_state;
+  shadow_map_t mem_map;
+
+  
+  vm_page_mode_t page_mode;
+  shadow_page_state_t  shadow_page_state;
+  // nested_paging_t nested_page_state;
 
-  //  vmm_mem_list_t mem_list;
-  // vmm_mem_layout_t mem_layout;
 
   vmm_io_map_t io_map;
   // device_map
@@ -34,7 +39,6 @@ typedef struct guest_info {
 
   struct guest_gprs vm_regs;
 
-  void * page_tables;
   void * vmm_data;
 } guest_info_t;