uint_t INVD : 1 PACKED;
uint_t PAUSE : 1 PACKED;
uint_t HLT : 1 PACKED;
- uint_t INVPLG : 1 PACKED;
- uint_t INVPLGA : 1 PACKED;
+ uint_t INVLPG : 1 PACKED;
+ uint_t INVLPGA : 1 PACKED;
uint_t IOIO_PROT : 1 PACKED;
uint_t MSR_PROT : 1 PACKED;
uint_t task_switch : 1 PACKED;
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
ushort_t selector PACKED;
/* These attributes are basically a direct map of the attribute fields of a segment desc.
- * The segment limit in the middle is removed and the fields are pused together
+ * The segment limit in the middle is removed and the fields are fused together
* There IS empty space at the end... See AMD Arch vol3, sect. 4.7.1, pg 78
*/
union {
} vmcb_saved_state_t;
-
+void PrintDebugVMCB(vmcb_t * vmcb);
#endif