HelenOS sources

thread_interrupt  222 kernel/generic/include/proc/thread.h extern void thread_interrupt(thread_t *);
thread_interrupt  544 kernel/generic/src/proc/task.c 		thread_interrupt(thread);
HelenOS homepage, sources at GitHub