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)