Symbol: internal_add_timer
kernel/time/timer.c
1136
internal_add_timer(base, timer);
kernel/time/timer.c
1339
internal_add_timer(base, timer);
kernel/time/timer.c
2494
internal_add_timer(new_base, timer);