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