tree dd38c9f44f80dc02a655b1dc7f316482ed720f00
parent d86e74112c20a8ee9149bfd62adf2228db4466dc
author Sean Christopherson <sean.j.christopherson@intel.com> 1581097362 -0800
committer Paolo Bonzini <pbonzini@redhat.com> 1592847774 -0400

nVMX: Refactor the EPT/VPID MSR cap check to make it readable

Use the EPT_CAP_* and VPID_CAP_* defines to declare which bits are
reserved in MSR_IA32_VMX_EPT_VPID_CAP.  Encoding the reserved bits in
a 64-bit literal is difficult to read, even more difficult to update,
and error prone, as evidenced by the check allowing bit 39 to be '1',
despite it being reserved to zero in Intel's SDM.

No functional change intended.

Signed-off-by: Sean Christopherson <sean.j.christopherson@intel.com>
Message-Id: <20200207174244.6590-3-sean.j.christopherson@intel.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>