Symbol: mach_smpinit
usr/src/uts/i86pc/os/mp_machdep.c
1075
mach_smpinit();
usr/src/uts/i86pc/os/mp_machdep.c
84
static void mach_smpinit(void);