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