cpu_configure     336 kern/init_main.c 	cpu_configure();
cpu_configure     291 sys/systm.h    void	cpu_configure(void);