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