is_max_delta     1612 kernel/time/timer.c 	bool is_max_delta;
is_max_delta     1623 kernel/time/timer.c 	is_max_delta = (nextevt == base->clk + NEXT_TIMER_MAX_DELTA);
is_max_delta     1641 kernel/time/timer.c 		if (!is_max_delta)