X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fgeekos%2Fvmcb.h;h=894c12e83de1d96aafe43d9933bd23a015e62d02;hb=04fc4c8fbac29e04f0d0817a2906687c2c972559;hp=ebcce6b967e3855d611160cf12b342c1d838199d;hpb=4939ecae04ce6416f404670640620a23aee9b914;p=palacios.git

diff --git a/palacios/include/geekos/vmcb.h b/palacios/include/geekos/vmcb.h
index ebcce6b..894c12e 100644
--- a/palacios/include/geekos/vmcb.h
+++ b/palacios/include/geekos/vmcb.h
@@ -259,8 +259,9 @@ typedef struct VMCB_Control_Area {
   ullong_t exit_int_info   : 63         PACKED;
   /* ** */
 
-  uint_t NP_ENABLE         : 1          PACKED;
-  ullong_t rsvd6           : 63         PACKED;  // Should be 0 
+  //  uint_t NP_ENABLE         : 1          PACKED;
+  //ullong_t rsvd6           : 63         PACKED;  // Should be 0 
+  ullong_t NP_ENABLE                    PACKED;
 
   uchar_t rsvd7[16]                     PACKED;  // Should be 0
 
@@ -387,7 +388,7 @@ typedef struct VMCB_State_Save_Area {
 
 } vmcb_saved_state_t;
 
-
+void PrintDebugVMCB(vmcb_t * vmcb);
 
 
 #endif