doFault          1989 src/dps8/dps8_cpu.h void doFault (_fault faultNumber, _fault_subtype faultSubtype,
doFault           374 src/dps8/dps8_faults.c void doFault (_fault faultNumber, _fault_subtype subFault,