timer_init         85 sys/include/timer.h void	 timer_init(void);
timer_init         89 sys/kern/main.c 	timer_init();