Symbol: mach_cpu_start
usr/src/uts/i86pc/os/mp_startup.c
1382
error = mach_cpu_start(cp, ctx);
usr/src/uts/i86pc/sys/machsystm.h
75
extern int mach_cpu_start(cpu_t *, void *);