From: Nadav Amit <nadav.amit@xxxxxxxxx>
According to the SDM, IA32_VMX_VMCS_ENUM indicates to software the
highest index value used in the encoding of any field supported by the
processor: Bits 9:1 contain the highest index value used for any VMCS
encoding.
Signed-off-by: Nadav Amit <nadav.amit@xxxxxxxxx>
---
x86/vmx.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/x86/vmx.c b/x86/vmx.c
index 6ba56bc..f713ada 100644
--- a/x86/vmx.c
+++ b/x86/vmx.c
@@ -1470,7 +1470,7 @@ static void test_vmx_caps(void)
val = rdmsr(MSR_IA32_VMX_VMCS_ENUM);
report("MSR_IA32_VMX_VMCS_ENUM",
- (val & 0x3e) >= 0x2a &&
+ (val & 0x1fe) >= 0x2a &&
(val & 0xfffffffffffffc01Ull) == 0);
val = rdmsr(MSR_IA32_VMX_EPT_VPID_CAP);
--
2.17.1
