Searched refs:cpuid_max_ext (Results 1 – 3 of 3) sorted by relevance
587 info_p->cpuid_max_ext = reg[eax]; in cpuid_set_generic_info()590 if (info_p->cpuid_max_ext >= 0x80000004) { in cpuid_set_generic_info()621 if (info_p->cpuid_max_ext >= 0x80000006) { in cpuid_set_generic_info()691 if (info_p->cpuid_max_ext >= 0x80000001) { in cpuid_set_generic_info()698 DBG(" max_ext : 0x%08x\n", info_p->cpuid_max_ext); in cpuid_set_generic_info()715 if (info_p->cpuid_max_ext >= 0x80000007) { in cpuid_set_generic_info()
492 uint32_t cpuid_max_ext; member
392 (void *)offsetof(i386_cpu_info_t, cpuid_max_ext), sizeof(uint32_t),