scheduler_start   187 kern/init_main.c 	extern void scheduler_start(void);
scheduler_start   409 kern/init_main.c 	scheduler_start();
scheduler_start    65 kern/sched_bsd.c void scheduler_start(void);