mach_cpu_add
rv = mach_cpu_add(&arg, &cpuid);
extern int mach_cpu_add(mach_cpu_add_arg_t *, processorid_t *);