Added shadow page handling, IO and MSR bitmap allocation, and started

[palacios.git] / palacios / include / palacios / vmx.h

diff --git a/palacios/include/palacios/vmx.h b/palacios/include/palacios/vmx.h
index 9dcaa5d..4ac707b 100644 (file)
--- a/palacios/include/palacios/vmx.h
+++ b/palacios/include/palacios/vmx.h
@@ -114,6 +114,13 @@ struct vmx_data {
     vmx_state_t state;
     addr_t vmcs_ptr_phys;
     struct vmcs_host_state host_state;
+    /* VMX Control Fields */
+    uint32_t pinbased_ctrls;
+    uint32_t pri_procbased_ctrls;
+    uint32_t sec_procbased_ctrls;
+    uint32_t exit_ctrls;
+    uint32_t entry_ctrls;
+    uint32_t excp_bitmap;
 };