Lines Matching refs:cpu_caps
40 } cpu_caps; variable
184 return ((cpu_caps.core_caps & bit_mask) != 0U); in has_core_cap()
214 cpu_caps.ept_features = 0U; in detect_ept_cap()
237 cpu_caps.ept_features = 1U; in detect_ept_cap()
271 cpu_caps.apicv_features = features; in detect_apicv_cap()
279 cpu_caps.vmx_ept_vpid = msr_read(MSR_IA32_VMX_EPT_VPID_CAP); in detect_vmx_mmu_cap()
306 cpu_caps.core_caps = (uint32_t)msr_read(MSR_IA32_CORE_CAPABILITIES); in detect_core_caps()
395 return (cpu_caps.ept_features != 0U); in is_ept_supported()
400 return ((cpu_caps.apicv_features & APICV_BASIC_FEATURE) == APICV_BASIC_FEATURE); in is_apicv_basic_feature_supported()
405 return ((cpu_caps.apicv_features & APICV_ADVANCED_FEATURE) == APICV_ADVANCED_FEATURE); in is_apicv_advanced_feature_supported()
410 return ((cpu_caps.vmx_ept_vpid & bit_mask) != 0U); in pcpu_has_vmx_ept_vpid_cap()