Bits 17, 21 and 22 are not reserved anymore.
Signed-off-by: Paolo Bonzini <pbonzini@xxxxxxxxxx>
---
x86/vmx.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/x86/vmx.c b/x86/vmx.c
index da5daa8..5200dcd 100644
--- a/x86/vmx.c
+++ b/x86/vmx.c
@@ -886,7 +886,7 @@ static void test_vmx_caps(void)
val = rdmsr(MSR_IA32_VMX_EPT_VPID_CAP);
report("MSR_IA32_VMX_EPT_VPID_CAP",
- (val & 0xfffff07ef9eebebeUll) == 0);
+ (val & 0xfffff07ef98cbebeUll) == 0);
}
/* This function can only be called in guest */
--
1.8.3.1
