HelenOS sources

thread_put        259 kernel/generic/include/proc/thread.h extern void thread_put(thread_t *);
thread_put        138 kernel/generic/src/ipc/kbox.c 			thread_put(TASK->kb.thread);
thread_put        443 kernel/generic/src/proc/scheduler.c 		thread_put(thread);
thread_put        648 kernel/generic/src/proc/thread.c 		thread_put(thread);
thread_put        655 kernel/generic/src/proc/thread.c 	thread_put(thread);
thread_put        913 kernel/generic/src/proc/thread.c 	thread_put(thread);
thread_put       1014 kernel/generic/src/proc/thread.c 		thread_put(thread);
thread_put        141 kernel/generic/src/udebug/udebug_ops.c 	thread_put(thread);