setG7fault       1841 src/dps8/dps8_cpu.c             setG7fault (current_running_cpu_idx, FAULT_EXF, fst_zero);
setG7fault       2337 src/dps8/dps8_cpu.c                           setG7fault (current_running_cpu_idx, FAULT_TRO, fst_zero);
setG7fault       2369 src/dps8/dps8_cpu.c               setG7fault (current_running_cpu_idx, FAULT_TRO, fst_zero);
setG7fault       2899 src/dps8/dps8_cpu.c                         setG7fault (current_running_cpu_idx, FAULT_TRO, fst_zero);
setG7fault       2933 src/dps8/dps8_cpu.c                           setG7fault (current_running_cpu_idx, FAULT_TRO, fst_zero);
setG7fault       2973 src/dps8/dps8_cpu.c                         setG7fault (current_running_cpu_idx, FAULT_TRO,
setG7fault        131 src/dps8/dps8_faults.h void setG7fault (uint cpuNo, _fault faultNo, _fault_subtype subFault);
setG7fault       2297 src/dps8/dps8_scu.c                     setG7fault ((uint) cpu_unit_udx, FAULT_CON, fst_zero);
setG7fault       2311 src/dps8/dps8_scu.c             setG7fault ((uint) cpu_unit_udx, FAULT_CON, fst_zero);
setG7fault       2333 src/dps8/dps8_scu.c 
setG7fault       1856 src/dps8/dps8_sys.c     setG7fault (0, FAULT_EXF, fst_zero);
setG7fault       4098 src/dps8/dps8_sys.c     setG7fault (ASSUME0, FAULT_EXF, fst_zero);