X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvm_guest.h;h=4a9d07572a53456f557278bbc411ef05cb1f3f6a;hb=9feccf93cd8327d1d30a404a92f19716bf5a1e96;hp=5272b0d6d26c9366aebcdfd1ca3f723be431a4e7;hpb=97126b352ec28abf6c6d8ec3883f0179a7d431c1;p=palacios.git

diff --git a/palacios/include/palacios/vm_guest.h b/palacios/include/palacios/vm_guest.h
index 5272b0d..4a9d075 100644
--- a/palacios/include/palacios/vm_guest.h
+++ b/palacios/include/palacios/vm_guest.h
@@ -27,6 +27,7 @@
 #include <palacios/vmm_mem_hook.h>
 #include <palacios/vmm_io.h>
 #include <palacios/vmm_shadow_paging.h>
+#include <palacios/vmm_direct_paging.h>
 #include <palacios/vmm_intr.h>
 #include <palacios/vmm_excp.h>
 #include <palacios/vmm_dev_mgr.h>
@@ -43,7 +44,7 @@
 #include <palacios/vmm_events.h>
 #include <palacios/vmm_scheduler.h>
 #include <palacios/vmm_fw_cfg.h>
-
+#include <palacios/vmm_fp.h>
 #include <palacios/vmm_perftune.h>
 
 #ifdef V3_CONFIG_TELEMETRY
@@ -86,6 +87,7 @@ struct guest_info {
 
     v3_paging_mode_t shdw_pg_mode;
     struct v3_shdw_pg_state shdw_pg_state;
+    //struct v3_nested_pg_state nested_pg_state;
     addr_t direct_map_pt;
     
 
@@ -116,6 +118,7 @@ struct guest_info {
     struct v3_segments segments;
     struct v3_msrs     msrs;
 
+    struct v3_fp_state fp_state;
 
     void * vmm_data;
 
@@ -177,6 +180,7 @@ struct v3_vm_info {
     struct v3_mem_hooks mem_hooks;
 
     struct v3_shdw_impl_state shdw_impl;
+    //struct v3_nested_impl_state nested_impl;
     void * sched_priv_data;
 
     struct v3_io_map io_map;