timer_get_idx     824 kernel/time/timer.c 	unsigned idx = timer_get_idx(timer);
timer_get_idx     999 kernel/time/timer.c 		if (idx == timer_get_idx(timer)) {