X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmcs.h;h=f8028b5e986ade426e1d16d564dab39c53f7ece0;hb=382829fe58cb541af371547325c5502e37032ecd;hp=35e7cc090d208f1550916cdc19a2702a1df1ece7;hpb=fcc9962fe5d3b877f8f25de8745d0d4d1eaf394e;p=palacios.git

diff --git a/palacios/include/palacios/vmcs.h b/palacios/include/palacios/vmcs.h
index 35e7cc0..f8028b5 100644
--- a/palacios/include/palacios/vmcs.h
+++ b/palacios/include/palacios/vmcs.h
@@ -275,10 +275,10 @@ struct vmx_intr_state {
     union {
 	uint32_t value;
 	struct {
-	    uint8_t block_sti    : 1;
-	    uint8_t block_mov_ss : 1;
-	    uint8_t block_smi    : 1;
-	    uint8_t block_nmi    : 1;
+	    uint32_t block_sti    : 1;
+	    uint32_t block_mov_ss : 1;
+	    uint32_t block_smi    : 1;
+	    uint32_t block_nmi    : 1;
 	    uint32_t rsvd        : 28;
 	} __attribute__((packed));
     } __attribute__((packed));
@@ -295,14 +295,14 @@ struct vmx_pending_dbg_excps {
 	} __attribute__((packed));
 
 	struct {
-	    uint8_t b0       : 1;
-	    uint8_t b1       : 1;
-	    uint8_t b2       : 1;
-	    uint8_t b3       : 1;
-	    uint8_t rsvd1    : 8;
-	    uint8_t bp_set   : 1;
-	    uint8_t rsvd2    : 1;
-	    uint8_t bp_ss    : 1;
+	    uint64_t b0       : 1;
+	    uint64_t b1       : 1;
+	    uint64_t b2       : 1;
+	    uint64_t b3       : 1;
+	    uint64_t rsvd1    : 8;
+	    uint64_t bp_set   : 1;
+	    uint64_t rsvd2    : 1;
+	    uint64_t bp_ss    : 1;
 	    uint64_t rsvd3   : 49;
 	} __attribute__((packed));
     } __attribute__((packed));
@@ -334,6 +334,14 @@ struct vmcs_segment {
 };
 
 
+struct vmcs_msr_entry {
+    uint32_t index;
+    uint32_t rsvd;
+    uint32_t lo;
+    uint32_t hi;
+} __attribute__((packed));
+
+
 struct vmcs_interrupt_state {
     union {
 	uint32_t val;