Searched refs:MSR_IA32_VMX_EPT_VPID_CAP (Results 1 – 1 of 1) sorted by relevance
219 #define MSR_IA32_VMX_EPT_VPID_CAP 0x048C macro3429 msr = rdmsr(MSR_IA32_VMX_EPT_VPID_CAP); in vmx_ident()3560 msr = rdmsr(MSR_IA32_VMX_EPT_VPID_CAP); in vmx_init()