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);