setG7fault       1825 src/dps8/dps8_cpu.c             setG7fault (current_running_cpu_idx, FAULT_EXF);
setG7fault       2411 src/dps8/dps8_cpu.c                           setG7fault (current_running_cpu_idx, FAULT_TRO);
setG7fault       2443 src/dps8/dps8_cpu.c               setG7fault (current_running_cpu_idx, FAULT_TRO);
setG7fault       3109 src/dps8/dps8_cpu.c                         setG7fault (current_running_cpu_idx, FAULT_TRO);
setG7fault       3143 src/dps8/dps8_cpu.c                           setG7fault (current_running_cpu_idx, FAULT_TRO);
setG7fault       3183 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       2356 src/dps8/dps8_scu.c                     setG7fault ((uint) cpu_unit_udx, FAULT_CON);
setG7fault       2370 src/dps8/dps8_scu.c             setG7fault ((uint) cpu_unit_udx, FAULT_CON);
setG7fault       2392 src/dps8/dps8_scu.c 
setG7fault       1802 src/dps8/dps8_sys.c     setG7fault (0, FAULT_EXF);
setG7fault       4041 src/dps8/dps8_sys.c     setG7fault (ASSUME0, FAULT_EXF);