thread_yield 279 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();HelenOS homepage, sources at GitHub