|
@@ -65,6 +65,7 @@
|
|
|
#define SECONDARY_EXEC_VIRTUAL_INTR_DELIVERY 0x00000200
|
|
|
#define SECONDARY_EXEC_PAUSE_LOOP_EXITING 0x00000400
|
|
|
#define SECONDARY_EXEC_ENABLE_INVPCID 0x00001000
|
|
|
+#define SECONDARY_EXEC_SHADOW_VMCS 0x00004000
|
|
|
|
|
|
|
|
|
#define PIN_BASED_EXT_INTR_MASK 0x00000001
|
|
@@ -150,6 +151,8 @@ enum vmcs_field {
|
|
|
EOI_EXIT_BITMAP2_HIGH = 0x00002021,
|
|
|
EOI_EXIT_BITMAP3 = 0x00002022,
|
|
|
EOI_EXIT_BITMAP3_HIGH = 0x00002023,
|
|
|
+ VMREAD_BITMAP = 0x00002026,
|
|
|
+ VMWRITE_BITMAP = 0x00002028,
|
|
|
GUEST_PHYSICAL_ADDRESS = 0x00002400,
|
|
|
GUEST_PHYSICAL_ADDRESS_HIGH = 0x00002401,
|
|
|
VMCS_LINK_POINTER = 0x00002800,
|