Symbol: detach_timer
kernel/time/timer.c
1782
detach_timer(timer, true);
kernel/time/timer.c
2492
detach_timer(timer, false);
kernel/time/timer.c
910
detach_timer(timer, clear_pending);