X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmx.h;h=eebd289d64fa92c262ff49a84dd6b18994bb523f;hb=61597ea2c5ccace036d8a65e429e32b8f8a7ed4a;hp=5da660969f381db7913c09c892197a933639e86e;hpb=26807ca4c1fd7ea21a615b29626e73a75873bead;p=palacios.git

diff --git a/palacios/include/palacios/vmx.h b/palacios/include/palacios/vmx.h
index 5da6609..eebd289 100644
--- a/palacios/include/palacios/vmx.h
+++ b/palacios/include/palacios/vmx.h
@@ -33,7 +33,7 @@
 
 // Intel VMX Specific MSRs
 #define VMX_FEATURE_CONTROL_MSR     0x0000003a
-#define VMX_BASIC_MSR          0x00000480
+#define VMX_BASIC_MSR               0x00000480
 #define VMX_PINBASED_CTLS_MSR       0x00000481
 #define VMX_PROCBASED_CTLS_MSR      0x00000482
 #define VMX_EXIT_CTLS_MSR           0x00000483
@@ -70,33 +70,36 @@ struct vmx_basic_msr {
 }  __attribute__((packed));
 
 typedef enum { 
-    VMXASSIST_STARTUP,
-    VMXASSIST_V8086_BIOS,
-    VMXASSIST_V8086,
-    NORMAL 
+    VMXASSIST_DISABLED,
+    VMXASSIST_ENABLED
 } vmx_state_t;
 
 struct tss_descriptor {
-    uint16_t    limit1;
-    uint16_t    base1;
-    uint_t  base2       : 8;
-    /* In 32 bit type follows the form 10B1b, where B is the busy flag */
-    uint_t  type        : 4; 
-    uint_t  zero1       : 1;
-    uint_t  dpl         : 2;
-    uint_t  present     : 1;
-    uint_t  limit2      : 4;
-    uint_t  available   : 1;
-    uint_t  zero2       : 1;
-    uint_t  zero3       : 1;
-    uint_t  granularity : 1;
-    uint_t  base3       : 8;
+    union {
+    ulong_t value;
+    struct {
+        uint16_t    limit1;
+        uint16_t    base1;
+        uint_t      base2       : 8;
+        /* In IA32, type follows the form 10B1b, where B is the busy flag */
+        uint_t      type        : 4; 
+        uint_t      zero1       : 1;
+        uint_t      dpl         : 2;
+        uint_t      present     : 1;
+        uint_t      limit2      : 4;
+        uint_t      available   : 1;
+        uint_t      zero2       : 1;
+        uint_t      zero3       : 1;
+        uint_t      granularity : 1;
+        uint_t      base3       : 8;
 #ifdef __V3_64BIT__
-    uint32_t    base4;
-    uint_t  rsvd1       : 8;
-    uint_t  zero4       : 5;
-    uint_t  rsvd2       : 19;
+        uint32_t    base4;
+        uint_t      rsvd1       : 8;
+        uint_t      zero4       : 5;
+        uint_t      rsvd2       : 19;
 #endif
+    } __attribute__((packed));
+    } __attribute__((packed));
 }__attribute__((packed));
 
 struct vmcs_host_state {
@@ -109,6 +112,12 @@ 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;
 };
 
 
@@ -128,6 +137,9 @@ struct Instruction {
 
 int v3_is_vmx_capable();
 void v3_init_vmx(struct v3_ctrl_ops* vm_ops);
+int v3_update_vmcs_guest_state(struct guest_info * info);
+int v3_update_vmcs_ctrl_fields(struct guest_info * info);
+int v3_update_vmcs_host_state(struct guest_info * info);