__next_timer_interrupt 1622 kernel/time/timer.c nextevt = __next_timer_interrupt(base); __next_timer_interrupt 1689 kernel/time/timer.c unsigned long next = __next_timer_interrupt(base);