doRCU            7667 src/dps8/dps8_ins.c           doRCU (cpup); // never returns!
doRCU              30 src/dps8/dps8_ins.h NO_RETURN void doRCU (cpu_state_t * cpup);