Searched defs:__max_leaf (Results 1 – 1 of 1) sorted by relevance
319 unsigned int __max_leaf = __get_cpuid_max(__leaf & 0x80000000, 0); in __get_cpuid() local333 unsigned int __max_leaf = __get_cpuid_max(__leaf & 0x80000000, 0); in __get_cpuid_count() local