HelenOS sources

thr_destructor_arch  268 kernel/generic/include/proc/thread.h #ifndef thr_destructor_arch
thr_destructor_arch  269 kernel/generic/include/proc/thread.h extern void thr_destructor_arch(thread_t *);
thr_destructor_arch  168 kernel/generic/src/proc/thread.c 	thr_destructor_arch(thread);