wakeCPU           906 src/dps8/dps8_faults.c     wakeCPU(cpuNo);
wakeCPU          1414 src/dps8/dps8_scu.c                 wakeCPU ((uint) cpu_unit_udx);
wakeCPU          1481 src/dps8/dps8_scu.c                 wakeCPU ((uint) cpu_unit_udx);
wakeCPU           164 src/dps8/threadz.h void wakeCPU (uint cpuNum);