X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmx.h;h=4ac707b4e0290fe99bab16e37123046399feb7e0;hb=52a58bb7bdf06ca22ad6883f8095f8aa5ca4b8a4;hp=7d020535756752d8d125c723154584c835c7b619;hpb=f8b365257743be47363da720f0261f5ed6441c57;p=palacios.git

diff --git a/palacios/include/palacios/vmx.h b/palacios/include/palacios/vmx.h
index 7d02053..4ac707b 100644
--- a/palacios/include/palacios/vmx.h
+++ b/palacios/include/palacios/vmx.h
@@ -28,6 +28,8 @@
 
 #include <palacios/vmm_types.h>
 #include <palacios/vmcs.h>
+#include <palacios/vmm.h>
+#include <palacios/vm_guest.h>
 
 // Intel VMX Specific MSRs
 #define VMX_FEATURE_CONTROL_MSR     0x0000003a
@@ -74,9 +76,51 @@ typedef enum {
     NORMAL 
 } vmx_state_t;
 
+struct tss_descriptor {
+    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;
+#endif
+    } __attribute__((packed));
+    } __attribute__((packed));
+}__attribute__((packed));
+
+struct vmcs_host_state {
+    struct v3_segment  gdtr;
+    struct v3_segment  idtr;
+    struct v3_segment  tr;
+};
+
 struct vmx_data {
     vmx_state_t state;
-    struct vmcs_data vmcs;
+    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;
 };
 
 
@@ -94,18 +138,13 @@ struct Instruction {
 
 
 
-int is_vmx_capable();
-
-VmxOnRegion * Init_VMX();
-VmxOnRegion * CreateVmxOnRegion();
+int v3_is_vmx_capable();
+void v3_init_vmx(struct v3_ctrl_ops* vm_ops);
 
-int VMLaunch(struct VMDescriptor *vm);
-
-
-int Do_VMM(struct VMXRegs regs);
 
 
 #endif // ! __V3VEE__
 
 #endif 
 
+