Symbol: mach_cpucontext_alloc
usr/src/uts/i86pc/os/mp_startup.c
1376
ctx = mach_cpucontext_alloc(cp);
usr/src/uts/i86pc/sys/machsystm.h
158
extern void *mach_cpucontext_alloc(struct cpu *);