detach_timer 535 kernel/timer.c detach_timer(timer, 0); detach_timer 659 kernel/timer.c detach_timer(timer, 1); detach_timer 693 kernel/timer.c detach_timer(timer, 1); detach_timer 794 kernel/timer.c detach_timer(timer, 1); detach_timer 1423 kernel/timer.c detach_timer(timer, 0);