wakeCPU           678 src/dps8/dps8_cpu.c                 wakeCPU (cpu_unit_idx);
wakeCPU           694 src/dps8/dps8_cpu.c                 wakeCPU (cpu_unit_idx);
wakeCPU          2381 src/dps8/dps8_cpu.c                       wakeCPU (i);
wakeCPU          2391 src/dps8/dps8_cpu.c                         wakeCPU (i);
wakeCPU           906 src/dps8/dps8_faults.c     wakeCPU(cpuNo);
wakeCPU          1414 src/dps8/dps8_scu.c                 wakeCPU ((uint) cpu_unit_udx);
wakeCPU          1484 src/dps8/dps8_scu.c                 wakeCPU ((uint) cpu_unit_udx);
wakeCPU           168 src/dps8/threadz.h void wakeCPU (uint cpuNum);