Symbol: MPentry
sys/i386/i386/mp_machdep.c
440
extern void MPentry(void);
sys/i386/i386/mp_machdep.c
479
*dst32 = (u_int)MPentry;