sched_tick         74 sys/include/sched.h void	 sched_tick(void);
sched_tick        430 sys/kern/timer.c 	sched_tick();