Searched refs:VMX_CAP (Results 1 – 3 of 3) sorted by relevance
72 #define VMX_CAP(msr, shift, mask) (rdmsr64(msr) & ((mask) << (shift))) macro
409 #define CHK(msr, shift, mask) if (!VMX_CAP(msr, shift, mask)) return FALSE; in vmx_hv_support()
949 …pmap_ept_support_ad = vmx_hv_support() && (VMX_CAP(MSR_IA32_VMX_EPT_VPID_CAP, MSR_IA32_VMX_EPT_VPI… in pmap_init()