Symbol: __get_next_timer_interrupt
kernel/time/timer.c
2293
return __get_next_timer_interrupt(basej, basem, NULL);
kernel/time/timer.c
2312
return __get_next_timer_interrupt(basej, basem, idle);