Searched refs:cpuid_max_basic (Results 1 – 3 of 3) sorted by relevance
579 info_p->cpuid_max_basic = reg[eax]; in cpuid_set_generic_info()697 DBG(" max_basic : %d\n", info_p->cpuid_max_basic); in cpuid_set_generic_info()723 if (info_p->cpuid_max_basic >= 0x5) { in cpuid_set_generic_info()743 if (info_p->cpuid_max_basic >= 0x6) { in cpuid_set_generic_info()775 if (info_p->cpuid_max_basic >= 0xa) { in cpuid_set_generic_info()801 if (info_p->cpuid_max_basic >= 0xd) { in cpuid_set_generic_info()849 if (info_p->cpuid_max_basic >= 7) { in cpuid_set_generic_info()865 if (info_p->cpuid_max_basic >= 0x15) { in cpuid_set_generic_info()
491 uint32_t cpuid_max_basic; member
388 (void *)offsetof(i386_cpu_info_t, cpuid_max_basic), sizeof(uint32_t),