Symbol: scheduler_start
sys/kern/init_main.c
416
scheduler_start();
sys/sys/sched.h
158
void scheduler_start(void);