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