wakeCPU           687 src/dps8/dps8_cpu.c                 wakeCPU (cpu_unit_idx);
wakeCPU           703 src/dps8/dps8_cpu.c                 wakeCPU (cpu_unit_idx);
wakeCPU          2888 src/dps8/dps8_cpu.c                             wakeCPU (i);
wakeCPU          2898 src/dps8/dps8_cpu.c                               wakeCPU (i);
wakeCPU           911 src/dps8/dps8_faults.c       wakeCPU(cpuNo);
wakeCPU          1442 src/dps8/dps8_scu.c                 wakeCPU ((uint) cpu_unit_udx);
wakeCPU          1529 src/dps8/dps8_scu.c                 wakeCPU ((uint) cpu_unit_udx);
wakeCPU           170 src/dps8/threadz.h void wakeCPU (uint cpuNum);