wakeCPU           903 src/dps8/dps8_faults.c     wakeCPU(cpuNo);
wakeCPU          1403 src/dps8/dps8_scu.c                 wakeCPU ((uint) cpu_unit_udx);
wakeCPU          1470 src/dps8/dps8_scu.c                 wakeCPU ((uint) cpu_unit_udx);
wakeCPU           171 src/dps8/threadz.h void wakeCPU (uint cpuNum);