HelenOS sources

thread_yield      280 kernel/generic/include/proc/thread.h extern void thread_yield(void);
thread_yield      750 kernel/generic/src/proc/scheduler.c 		thread_yield();
thread_yield      190 kernel/generic/src/time/clock.c 			thread_yield();