tree b14fb49e30eaf34ad129d9fd5a6b0a7d45b8c2c2
parent 592cb377db48620178575ca3cf6d9bbca8fb144e
author Sean Christopherson <sean.j.christopherson@intel.com> 1581097363 -0800
committer Paolo Bonzini <pbonzini@redhat.com> 1592847785 -0400

nVMX: Mark bit 39 of MSR_IA32_VMX_EPT_VPID_CAP as reserved

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@intel.com>
Message-Id: <20200207174244.6590-4-sean.j.christopherson@intel.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>