Searched refs:IA32_VMX_EPT_VPID_INVEPT_SINGLE (Results 1 – 3 of 3) sorted by relevance
437 if ((msr & IA32_VMX_EPT_VPID_INVEPT_SINGLE) != 0) { in hma_vmx_query_details()
702 #define IA32_VMX_EPT_VPID_INVEPT_SINGLE (1UL << 25) macro
160 IA32_VMX_EPT_VPID_INVEPT_SINGLE | \