in src/common/cpu_features.c [34:50]
static uint32_t get_cpuid_count(uint32_t leaf,
uint32_t sub_leaf,
uint32_t *eax,
uint32_t *ebx,
uint32_t *ecx,
uint32_t *edx)
{
/* 0x80000000 probes for extended cpuid info */
uint32_t max_level = __get_cpuid_max(leaf & 0x80000000, 0);
if(max_level == 0 || max_level < leaf) {
return 0;
}
__cpuid_count(leaf, sub_leaf, *eax, *ebx, *ecx, *edx);
return 1;
}