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

diff --git a/palacios/include/geekos/vm_guest.h b/palacios/include/geekos/vm_guest.h
index 6a6d86b..e18f1f0 100644
--- a/palacios/include/geekos/vm_guest.h
+++ b/palacios/include/geekos/vm_guest.h
@@ -4,6 +4,8 @@
 #include <geekos/vmm_mem.h>
 #include <geekos/ktypes.h>
 #include <geekos/vmm_io.h>
+#include <geekos/vmm_paging.h>
+
 
 struct guest_gprs {
   ullong_t rbx;
@@ -17,13 +19,14 @@ struct guest_gprs {
 
 
 
-
 typedef struct guest_info {
   ullong_t rip;
   ullong_t rsp;
 
-  vmm_mem_list_t mem_list;
-  vmm_mem_layout_t mem_layout;
+  shadow_paging_state_t  shadow_paging_state;
+
+  //  vmm_mem_list_t mem_list;
+  // vmm_mem_layout_t mem_layout;
 
   vmm_io_map_t io_map;
   // device_map