Searched defs: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() local
616 uint64_t ept_caps = rdmsr(MSR_IA32_VMX_EPT_VPID_CAP); in vmx_init() local