cpu_startup       218 kern/init_main.c 	cpu_startup();
cpu_startup       290 sys/systm.h    void	cpu_startup(void);