Symbol: fetch_next_timer_interrupt
kernel/time/timer.c
2071
fetch_next_timer_interrupt(basej, basem, base_local, base_global, tevt);
kernel/time/timer.c
2207
nextevt = fetch_next_timer_interrupt(basej, basem, base_local,