fault_msg         256 src/dps8/dps8_faults.c static char fault_msg [1024];
fault_msg         265 src/dps8/dps8_faults.c            sim_printf ("  msg %s\n", fault_msg);
fault_msg         419 src/dps8/dps8_faults.c     strcpy (fault_msg, faultMsg);
fault_msg         722 src/dps8/dps8_faults.c void do_FFV_fault (uint fault_number, const char * fault_msg)
fault_msg         726 src/dps8/dps8_faults.c                fault_number, fault_msg);
fault_msg         735 src/dps8/dps8_faults.c                     fault_number, fault_msg ? fault_msg : "?");
fault_msg         136 src/dps8/dps8_faults.h void do_FFV_fault (uint fault_number, const char * fault_msg);