cmp_cpu_to_chip
extern int cmp_cpu_to_chip(processorid_t cpuid);
extern chipid_t cmp_cpu_to_chip(processorid_t cpuid);
core_0_id = cmp_cpu_to_chip(cpuid);
if (cpuid == (processorid_t)cmp_cpu_to_chip(cpuid)) {
if (cp->cpu_id != (processorid_t)cmp_cpu_to_chip(cp->cpu_id)) {
return (cmp_cpu_to_chip(cpu->cpu_id));