__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);