doRCU            7316 src/dps8/dps8_ins.c           doRCU (); // never returns!
doRCU              33 src/dps8/dps8_ins.h void doRCU (void) NO_RETURN;