faultSubtype 1994 src/dps8/dps8_cpu.h void doFault (_fault faultNumber, _fault_subtype faultSubtype, faultSubtype 125 src/dps8/dps8_faults.h void doFault (_fault faultNumber, _fault_subtype faultSubtype,