Searched refs:ept_caps (Results 1 – 2 of 2) sorted by relevance
151 uint64_t ept_caps = rdmsr(MSR_IA32_VMX_EPT_VPID_CAP); in ept_hw_ad_supported() local152 return ((ept_caps & IA32_VMX_EPT_VPID_HW_AD) != 0); in ept_hw_ad_supported()
616 uint64_t ept_caps = rdmsr(MSR_IA32_VMX_EPT_VPID_CAP); in vmx_init() local617 if ((ept_caps & EPT_CAPS_REQUIRED) != EPT_CAPS_REQUIRED) { in vmx_init()618 cmn_err(CE_WARN, "!Inadequate EPT capabilities: %lx", ept_caps); in vmx_init()