internal_add_timer 1053 kernel/time/timer.c 		internal_add_timer(base, timer);
internal_add_timer 1174 kernel/time/timer.c 	internal_add_timer(base, timer);
internal_add_timer 1954 kernel/time/timer.c 		internal_add_timer(new_base, timer);