clock_init        135 sys/include/hal.h void	  clock_init(void);
clock_init         98 sys/kern/main.c 	clock_init();