thread_yield      158 kern/include/thread.h void thread_yield(void);
thread_yield      127 kern/test/tt3.c 			thread_yield();
thread_yield      200 kern/test/tt3.c 		thread_yield();
thread_yield      102 kern/thread/clock.c 	thread_yield();
thread_yield      759 kern/thread/thread.c 			thread_yield();