SCHED_YIELD      2209 src/dps8/dps8_cpu.h           SCHED_YIELD;                                                   \
SCHED_YIELD      2252 src/dps8/dps8_cpu.h       SCHED_YIELD;                                                       \
SCHED_YIELD      2302 src/dps8/dps8_cpu.h             SCHED_YIELD;                                                 \