Searched refs:IA32_VMX_EPT_VPID_HW_AD (Results 1 – 2 of 2) sorted by relevance
152 return ((ept_caps & IA32_VMX_EPT_VPID_HW_AD) != 0); in ept_hw_ad_supported()
702 #define IA32_VMX_EPT_VPID_HW_AD (1UL << 21) macro