SCHED_YIELD      2221 src/dps8/dps8_cpu.h           SCHED_YIELD;                                                   \
SCHED_YIELD      2264 src/dps8/dps8_cpu.h       SCHED_YIELD;                                                       \
SCHED_YIELD      2314 src/dps8/dps8_cpu.h             SCHED_YIELD;                                                 \