Searched refs:cpuid_cpu_type (Results 1 – 2 of 2) sorted by relevance
942 info_p->cpuid_cpu_type = CPU_TYPE_X86; in cpuid_set_info()1015 DBG(" cpu_type: 0x%08x\n", info_p->cpuid_cpu_type); in cpuid_set_info()1291 return cpuid_info()->cpuid_cpu_type; in cpuid_cputype()
455 cpu_type_t cpuid_cpu_type; /* <mach/machine.h> */ member