wakeCPU           677 src/dps8/dps8_cpu.c                 wakeCPU (cpu_unit_idx);
wakeCPU           693 src/dps8/dps8_cpu.c                 wakeCPU (cpu_unit_idx);
wakeCPU          2841 src/dps8/dps8_cpu.c                             wakeCPU (i);
wakeCPU          2851 src/dps8/dps8_cpu.c                               wakeCPU (i);
wakeCPU           911 src/dps8/dps8_faults.c       wakeCPU(cpuNo);
wakeCPU          1441 src/dps8/dps8_scu.c                 wakeCPU ((uint) cpu_unit_udx);
wakeCPU          1528 src/dps8/dps8_scu.c                 wakeCPU ((uint) cpu_unit_udx);
wakeCPU           168 src/dps8/threadz.h void wakeCPU (uint cpuNum);