set_FFV_fault 4251 src/dps8/dps8_cpu.c set_FFV_fault (cpup, 4); set_FFV_fault 133 src/dps8/dps8_faults.h void set_FFV_fault (cpu_state_t * cpup, uint f_fault_no);