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