setG7fault 1834 src/dps8/dps8_cpu.c setG7fault (current_running_cpu_idx, FAULT_EXF); setG7fault 2427 src/dps8/dps8_cpu.c setG7fault (current_running_cpu_idx, FAULT_TRO); setG7fault 2459 src/dps8/dps8_cpu.c setG7fault (current_running_cpu_idx, FAULT_TRO); setG7fault 3124 src/dps8/dps8_cpu.c setG7fault (current_running_cpu_idx, FAULT_TRO); setG7fault 3164 src/dps8/dps8_cpu.c setG7fault (current_running_cpu_idx, FAULT_TRO); setG7fault 3204 src/dps8/dps8_cpu.c setG7fault (current_running_cpu_idx, FAULT_TRO); setG7fault 129 src/dps8/dps8_faults.h void setG7fault (uint cpuNo, _fault faultNo); setG7fault 2349 src/dps8/dps8_scu.c setG7fault ((uint) cpu_unit_udx, FAULT_CON); setG7fault 2363 src/dps8/dps8_scu.c setG7fault ((uint) cpu_unit_udx, FAULT_CON); setG7fault 2385 src/dps8/dps8_scu.c setG7fault 1807 src/dps8/dps8_sys.c setG7fault (0, FAULT_EXF); setG7fault 4046 src/dps8/dps8_sys.c setG7fault (ASSUME0, FAULT_EXF);