Searched refs:__get_cpuid_max (Results 1 – 2 of 2) sorted by relevance
273 static __inline unsigned int __get_cpuid_max (unsigned int __leaf, in __get_cpuid_max() function308 unsigned int __max_leaf = __get_cpuid_max(__leaf & 0x80000000, 0); in __get_cpuid()322 unsigned int __max_leaf = __get_cpuid_max(__leaf & 0x80000000, 0); in __get_cpuid_count()
186 if (__get_cpuid_max(0, NULL) >= desc->leaf) { in __cpuid_check_feature()