wakeCPU           687 src/dps8/dps8_cpu.c                 wakeCPU (cpu_unit_idx);
wakeCPU           703 src/dps8/dps8_cpu.c                 wakeCPU (cpu_unit_idx);
wakeCPU          2857 src/dps8/dps8_cpu.c                             wakeCPU (i);
wakeCPU          2867 src/dps8/dps8_cpu.c                               wakeCPU (i);
wakeCPU           907 src/dps8/dps8_faults.c       wakeCPU(cpuNo);
wakeCPU          1442 src/dps8/dps8_scu.c                 wakeCPU ((uint) cpu_unit_udx);
wakeCPU          1525 src/dps8/dps8_scu.c                 wakeCPU ((uint) cpu_unit_udx);
wakeCPU           170 src/dps8/threadz.h void wakeCPU (uint cpuNum);