yield             105 kernel/defs.h  void            yield(void);
yield              81 kernel/trap.c      yield();
yield             155 kernel/trap.c      yield();