yield             100 kernel/defs.h  void            yield(void);
yield              85 kernel/trap.c      yield();
yield             156 kernel/trap.c      yield();