mach_cpuid_start
err = mach_cpuid_start(who, rm_platter_va);
extern int mach_cpuid_start(processorid_t, void *);