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