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);