__builtin_ia32_pause 2215 src/dps8/dps8_cpu.h # elif HAS_BUILTIN(__builtin_ia32_pause) // ... then for __builtin_ia32_pause ...
__builtin_ia32_pause 2222 src/dps8/dps8_cpu.h           __builtin_ia32_pause();  \