SCHED_YIELD      2213 src/dps8/dps8_cpu.h           SCHED_YIELD;                                                   \
SCHED_YIELD      2256 src/dps8/dps8_cpu.h       SCHED_YIELD;                                                       \
SCHED_YIELD      2306 src/dps8/dps8_cpu.h             SCHED_YIELD;                                                 \