yield             102 kernel/defs.h  void            yield(void);
yield              86 kernel/trap.c      yield();
yield             158 kernel/trap.c      yield();