yield             383 kern/kern_synch.c 	yield();
yield             424 sys/proc.h     void	yield(void);