_fault           1617 src/dps8/dps8_cpu.h     _fault faultNumber;      // fault number saved by doFault
_fault           1640 src/dps8/dps8_cpu.h     _fault dlyFltNum;
_fault           2007 src/dps8/dps8_cpu.h NO_RETURN void doFault (_fault faultNumber, _fault_subtype faultSubtype,
_fault            371 src/dps8/dps8_faults.c void doFault (_fault faultNumber, _fault_subtype subFault,
_fault            864 src/dps8/dps8_faults.c void dlyDoFault (_fault faultNumber, _fault_subtype subFault,
_fault            897 src/dps8/dps8_faults.c void setG7fault (uint cpuNo, _fault faultNo, _fault_subtype subFault)
_fault            123 src/dps8/dps8_faults.h NO_RETURN void doFault (_fault faultNumber, _fault_subtype faultSubtype,
_fault            125 src/dps8/dps8_faults.h void dlyDoFault (_fault faultNumber, _fault_subtype subFault,
_fault            129 src/dps8/dps8_faults.h void setG7fault (uint cpuNo, _fault faultNo, _fault_subtype subFault);
_fault            690 src/dps8/dps8_hw_consts.h typedef enum _fault _fault;
_fault             35 src/dps8/dps8_mp.h     _fault faultNumber;
_fault             79 src/dps8/hdbg.c       _fault faultNumber;
_fault            236 src/dps8/hdbg.c void hdbgFault (_fault faultNumber, _fault_subtype subFault, const char * faultMsg, const char * ctx) {
_fault             44 src/dps8/hdbg.h void hdbgFault (_fault faultNumber, _fault_subtype subFault,