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