fault_number      723 src/dps8/dps8_faults.c void do_FFV_fault (uint fault_number, const char * fault_msg)
fault_number      727 src/dps8/dps8_faults.c                fault_number, fault_msg);
fault_number      733 src/dps8/dps8_faults.c     if (fault_number < 1 || fault_number > 3)
fault_number      736 src/dps8/dps8_faults.c                     fault_number, fault_msg ? fault_msg : "?");
fault_number      740 src/dps8/dps8_faults.c     cpu.FFV_fault_number = fault_number;
fault_number      741 src/dps8/dps8_faults.c     cpu.faultNumber      = fault_number;
fault_number      789 src/dps8/dps8_faults.c     cpu.cu.FI_ADDR   = (word5) fault_number & MASK5;
fault_number       76 src/dps8/dps8_faults.h     int         fault_number;
fault_number      136 src/dps8/dps8_faults.h void do_FFV_fault (uint fault_number, const char * fault_msg);