sched_init         84 sys/include/sched.h void	 sched_init(void);
sched_init         87 sys/kern/main.c 	sched_init();