debug_timer_activate  539 kernel/timer.c 	debug_timer_activate(timer);
debug_timer_activate  586 kernel/timer.c 	debug_timer_activate(timer);