wakeCPU           700 src/dps8/dps8_cpu.c                 wakeCPU (cpu_unit_idx);
wakeCPU           716 src/dps8/dps8_cpu.c                 wakeCPU (cpu_unit_idx);
wakeCPU          3579 src/dps8/dps8_cpu.c                             wakeCPU (i);
wakeCPU          3589 src/dps8/dps8_cpu.c                               wakeCPU (i);
wakeCPU          1037 src/dps8/dps8_faults.c       wakeCPU(cpuNo);
wakeCPU          1052 src/dps8/dps8_faults.c     wakeCPU (cpuNo);
wakeCPU          1554 src/dps8/dps8_scu.c                 wakeCPU ((uint) cpu_unit_udx);
wakeCPU          1640 src/dps8/dps8_scu.c                 wakeCPU ((uint) cpu_unit_udx);
wakeCPU           170 src/dps8/threadz.h void wakeCPU (uint cpuNum);