|
@@ -122,6 +122,8 @@ enum vmcs_field {
|
|
|
GUEST_IA32_DEBUGCTL_HIGH = 0x00002803,
|
|
|
GUEST_IA32_PAT = 0x00002804,
|
|
|
GUEST_IA32_PAT_HIGH = 0x00002805,
|
|
|
+ GUEST_IA32_EFER = 0x00002806,
|
|
|
+ GUEST_IA32_EFER_HIGH = 0x00002807,
|
|
|
GUEST_PDPTR0 = 0x0000280a,
|
|
|
GUEST_PDPTR0_HIGH = 0x0000280b,
|
|
|
GUEST_PDPTR1 = 0x0000280c,
|
|
@@ -132,6 +134,8 @@ enum vmcs_field {
|
|
|
GUEST_PDPTR3_HIGH = 0x00002811,
|
|
|
HOST_IA32_PAT = 0x00002c00,
|
|
|
HOST_IA32_PAT_HIGH = 0x00002c01,
|
|
|
+ HOST_IA32_EFER = 0x00002c02,
|
|
|
+ HOST_IA32_EFER_HIGH = 0x00002c03,
|
|
|
PIN_BASED_VM_EXEC_CONTROL = 0x00004000,
|
|
|
CPU_BASED_VM_EXEC_CONTROL = 0x00004002,
|
|
|
EXCEPTION_BITMAP = 0x00004004,
|