Home
last modified time | relevance | path

Searched refs:max_hyp_cpuid (Results 1 – 2 of 2) sorted by relevance

/kernel/arch/x86/
A Dfeature.cpp25 uint32_t max_hyp_cpuid = 0; variable
98 max_hyp_cpuid = _cpuid_ext[0].a; in x86_feature_init()
99 if (max_hyp_cpuid > MAX_SUPPORTED_CPUID_HYP) in x86_feature_init()
100 max_hyp_cpuid = MAX_SUPPORTED_CPUID_HYP; in x86_feature_init()
101 for (uint32_t i = X86_CPUID_HYP_BASE; i <= max_hyp_cpuid; i++) { in x86_feature_init()
/kernel/arch/x86/include/arch/x86/
A Dfeature.h69 extern uint32_t max_hyp_cpuid; in x86_get_cpuid_leaf()
77 if (unlikely(leaf > max_hyp_cpuid)) in x86_get_cpuid_leaf()

Completed in 5 milliseconds