timer_cancel       80 sys/include/timer.h void	 timer_cancel(thread_t);
timer_cancel      155 sys/kern/thread.c 	timer_cancel(th);
timer_cancel      563 sys/kern/thread.c 	timer_cancel(t);