Searched refs:cpu_caps (Results 1 – 2 of 2) sorted by relevance
40 } cpu_caps; variable184 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()[all …]
207 HW_C_SRCS += arch/x86/cpu_caps.c
Completed in 5 milliseconds