clock_counter_init 52 kernel/generic/include/time/clock.h extern void clock_counter_init(void); clock_counter_init 244 kernel/generic/src/main/main.c clock_counter_init();