Symbol: timer_base_is_idle
kernel/time/tick-internal.h
168
extern bool timer_base_is_idle(void);
kernel/time/timer_migration.c
1514
tmc->idle = timer_base_is_idle();