wakeCPU 901 src/dps8/dps8_faults.c wakeCPU(cpuNo); wakeCPU 1440 src/dps8/dps8_scu.c wakeCPU ((uint) cpu_unit_udx); wakeCPU 1507 src/dps8/dps8_scu.c wakeCPU ((uint) cpu_unit_udx); wakeCPU 171 src/dps8/threadz.h void wakeCPU (uint cpuNum);