internal_add_timer  562 kernel/timer.c 	internal_add_timer(base, timer);
internal_add_timer  587 kernel/timer.c 	internal_add_timer(base, timer);
internal_add_timer  748 kernel/timer.c 		internal_add_timer(base, timer);
internal_add_timer 1425 kernel/timer.c 		internal_add_timer(new_base, timer);