Searched refs:cpuid_type (Results 1 – 2 of 2) sorted by relevance
433 cpu_type_t cpuid_type; /* this is *not* a cpu_type_t in our <mach/machine.h> */ member
667 info_p->cpuid_type = bitfield32(reg[eax], 13, 12); in cpuid_set_generic_info()705 DBG(" type : %d\n", info_p->cpuid_type); in cpuid_set_generic_info()