cmp_cpu_is_cmp
extern int cmp_cpu_is_cmp(processorid_t cpuid);
if ((cpup == NULL) || (!cmp_cpu_is_cmp(cpup->cpu_id)))
if (!cmp_cpu_is_cmp(cpuid)) {
if (!cmp_cpu_is_cmp(cpuid))