_fault           1641 src/dps8/dps8_cpu.h     _fault faultNumber;      // fault number saved by doFault
_fault           1664 src/dps8/dps8_cpu.h     _fault dlyFltNum;
_fault           2029 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            865 src/dps8/dps8_faults.c void dlyDoFault (_fault faultNumber, _fault_subtype subFault,
_fault            898 src/dps8/dps8_faults.c void setG7fault (uint cpuNo, _fault faultNo)
_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            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,