debug_timer_activate 1039 kernel/time/timer.c 	debug_timer_activate(timer);
debug_timer_activate 1173 kernel/time/timer.c 	debug_timer_activate(timer);