detach_timer      832 kernel/time/timer.c 	detach_timer(timer, clear_pending);
detach_timer     1438 kernel/time/timer.c 		detach_timer(timer, true);
detach_timer     1952 kernel/time/timer.c 		detach_timer(timer, false);