X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmcb.h;h=5739eba01dbd690194edc7373a89391c7e8101c0;hb=d0be182a2424036db4bc179bc512ea7e5b0bd62f;hp=a61cf8961f689e85ff310afcb4f0ae00bc3c9c58;hpb=fc90c3287f85c66e1f6616685b66a8339145c3ee;p=palacios.git

diff --git a/palacios/include/palacios/vmcb.h b/palacios/include/palacios/vmcb.h
index a61cf89..5739eba 100644
--- a/palacios/include/palacios/vmcb.h
+++ b/palacios/include/palacios/vmcb.h
@@ -217,10 +217,13 @@ typedef struct VMCB_Control_Area {
    * But it does say that the EXITINTINFO field is in bits 63-1
    * ALL other occurances mention a 1 bit reserved field
    */
-  uint_t rsvd5             : 1          PACKED;
-  ullong_t exit_int_info   : 63         PACKED;
+  //  uint_t rsvd5             : 1          PACKED;
+  //ullong_t exit_int_info   : 63         PACKED;
   /* ** */
 
+  // AMD Manual 2, pg 391, sect: 15.19
+  struct Interrupt_Info exit_int_info  PACKED;
+
   //  uint_t NP_ENABLE         : 1          PACKED;
   //ullong_t rsvd6           : 63         PACKED;  // Should be 0 
   ullong_t NP_ENABLE                    PACKED;