Remove bit 39, which is defined as reserved in Intel's SDM, from the set
of allowed-1 bits in MSR_IA32_VMX_EPT_VPID_CAP.
Fixes: 69c8d31 ("VMX: Validate capability MSRs")
Signed-off-by: Sean Christopherson <sean.j.christopherson@xxxxxxxxx>
---
x86/vmx.c | 1 -
1 file changed, 1 deletion(-)
diff --git a/x86/vmx.c b/x86/vmx.c
index 3a99d27..ac4aa56 100644
--- a/x86/vmx.c
+++ b/x86/vmx.c
@@ -1550,7 +1550,6 @@ static void test_vmx_caps(void)
EPT_CAP_INVEPT_SINGLE |
EPT_CAP_INVEPT_ALL |
VPID_CAP_INVVPID |
- (1ull << 39) |
VPID_CAP_INVVPID_ADDR |
VPID_CAP_INVVPID_CXTGLB |
VPID_CAP_INVVPID_ALL |
--
2.24.1
