HelenOS sources

thread_wait_finish  241 kernel/generic/include/proc/thread.h extern thread_wait_result_t thread_wait_finish(deadline_t);
thread_wait_finish  228 kernel/generic/src/synch/waitq.c 		bool timed_out = (thread_wait_finish(deadline) == THREAD_WAIT_TIMEOUT);