kthread_terminate  116 sys/include/thread.h void	 kthread_terminate(thread_t);
kthread_terminate  135 sys/kern/irq.c 		kthread_terminate(irq->thread);