fault_number      724 src/dps8/dps8_faults.c void do_FFV_fault (cpu_state_t * cpup, uint fault_number, const char * fault_msg)
fault_number      728 src/dps8/dps8_faults.c                fault_number, fault_msg);
fault_number      734 src/dps8/dps8_faults.c     if (fault_number < 1 || fault_number > 3)
fault_number      737 src/dps8/dps8_faults.c                     fault_number, fault_msg ? fault_msg : "?");
fault_number      741 src/dps8/dps8_faults.c     cpu.FFV_fault_number = fault_number;
fault_number      742 src/dps8/dps8_faults.c     cpu.faultNumber      = fault_number;
fault_number      790 src/dps8/dps8_faults.c     cpu.cu.FI_ADDR   = (word5) fault_number & MASK5;
fault_number       74 src/dps8/dps8_faults.h     int         fault_number;
fault_number      134 src/dps8/dps8_faults.h void do_FFV_fault (cpu_state_t * cpup, uint fault_number, const char * fault_msg);