Searched refs:cpuid_max_basic (Results 1 – 3 of 3) sorted by relevance
578 info_p->cpuid_max_basic = reg[eax]; in cpuid_set_generic_info()691 DBG(" max_basic : %d\n", info_p->cpuid_max_basic); in cpuid_set_generic_info()717 if (info_p->cpuid_max_basic >= 0x5) { in cpuid_set_generic_info()737 if (info_p->cpuid_max_basic >= 0x6) { in cpuid_set_generic_info()769 if (info_p->cpuid_max_basic >= 0xa) { in cpuid_set_generic_info()795 if (info_p->cpuid_max_basic >= 0xd) { in cpuid_set_generic_info()838 if (info_p->cpuid_max_basic >= 0x15) { in cpuid_set_generic_info()
490 uint32_t cpuid_max_basic; member
388 (void *)offsetof(i386_cpu_info_t, cpuid_max_basic), sizeof(uint32_t),