Symbol: timer_clear_idle
kernel/time/tick-internal.h
179
void timer_clear_idle(void);
kernel/time/tick-sched.c
1127
timer_clear_idle();