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

diff --git a/palacios/include/palacios/vmx.h b/palacios/include/palacios/vmx.h
index 2b50a04..5da6609 100644
--- a/palacios/include/palacios/vmx.h
+++ b/palacios/include/palacios/vmx.h
@@ -29,6 +29,7 @@
 #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
@@ -75,9 +76,39 @@ typedef enum {
     NORMAL 
 } 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;
+#ifdef __V3_64BIT__
+    uint32_t    base4;
+    uint_t  rsvd1       : 8;
+    uint_t  zero4       : 5;
+    uint_t  rsvd2       : 19;
+#endif
+}__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;
     addr_t vmcs_ptr_phys;
+    struct vmcs_host_state host_state;
 };
 
 
@@ -104,3 +135,4 @@ void v3_init_vmx(struct v3_ctrl_ops* vm_ops);
 
 #endif 
 
+