Searched refs:cpuid_max_ext (Results 1 – 3 of 3) sorted by relevance
586 info_p->cpuid_max_ext = reg[eax]; in cpuid_set_generic_info()589 if (info_p->cpuid_max_ext >= 0x80000004) { in cpuid_set_generic_info()620 if (info_p->cpuid_max_ext >= 0x80000006) { in cpuid_set_generic_info()685 if (info_p->cpuid_max_ext >= 0x80000001) { in cpuid_set_generic_info()692 DBG(" max_ext : 0x%08x\n", info_p->cpuid_max_ext); in cpuid_set_generic_info()709 if (info_p->cpuid_max_ext >= 0x80000007) { in cpuid_set_generic_info()
491 uint32_t cpuid_max_ext; member
392 (void *)offsetof(i386_cpu_info_t, cpuid_max_ext), sizeof(uint32_t),