thread_interrupt 223 kernel/generic/include/proc/thread.h extern void thread_interrupt(thread_t *); thread_interrupt 544 kernel/generic/src/proc/task.c thread_interrupt(thread);