Symbol: mi_cpu_init
sys/kern/init_main.c
311
mi_cpu_init();
sys/rump/librump/rumpkern/scheduler.c
143
mi_cpu_init();
sys/sys/cpu_data.h
238
void mi_cpu_init(void);