cpuid_get_coreid
domain = cpuid_get_coreid(cp);
domain = cpuid_get_coreid(cp);
extern int cpuid_get_coreid(cpu_t *);
return (cpuid_get_coreid(cpu));
return ((id_t)cpuid_get_coreid(cpu));
extern id_t cpuid_get_coreid(struct cpu *);