Searched refs:cpuid_max_basic (Results 1 – 3 of 3) sorted by relevance
583 info_p->cpuid_max_basic = reg[eax]; in cpuid_set_generic_info()696 DBG(" max_basic : %d\n", info_p->cpuid_max_basic); in cpuid_set_generic_info()722 if (info_p->cpuid_max_basic >= 0x5) { in cpuid_set_generic_info()742 if (info_p->cpuid_max_basic >= 0x6) { in cpuid_set_generic_info()774 if (info_p->cpuid_max_basic >= 0xa) { in cpuid_set_generic_info()800 if (info_p->cpuid_max_basic >= 0xd) { in cpuid_set_generic_info()843 if (info_p->cpuid_max_basic >= 0x15) { in cpuid_set_generic_info()
483 uint32_t cpuid_max_basic; member
389 (void *)offsetof(i386_cpu_info_t, cpuid_max_basic), sizeof(uint32_t),