MSR_IA32_VMX_EPT_VPID_CAP
rdmsr_safe(MSR_IA32_VMX_EPT_VPID_CAP, &ept, &vpid);
case MSR_IA32_VMX_EPT_VPID_CAP:
case MSR_IA32_VMX_EPT_VPID_CAP:
rdmsr_safe(MSR_IA32_VMX_EPT_VPID_CAP,
MSR_IA32_VMX_EPT_VPID_CAP,
return rdmsr(MSR_IA32_VMX_EPT_VPID_CAP) & mask;
vmx_fixed1_msr_test(vcpu, MSR_IA32_VMX_EPT_VPID_CAP, -1ull);