Symbol: timer_init_post_rtc
headers/private/kernel/timer.h
43
void timer_init_post_rtc(void);
src/system/kernel/main.cpp
191
timer_init_post_rtc();