Symbol: timer_get_idx
kernel/time/timer.c
1076
if (idx == timer_get_idx(timer)) {
kernel/time/timer.c
900
unsigned idx = timer_get_idx(timer);