elapsedtime       352 src/dps8/dps8_faults.c void elapsedtime (void);
elapsedtime       379 src/dps8/dps8_faults.c  elapsedtime ();
elapsedtime       384 src/dps8/dps8_faults.c  elapsedtime ();
elapsedtime      7563 src/dps8/dps8_ins.c elapsedtime ();
elapsedtime      7613 src/dps8/dps8_ins.c void elapsedtime (void);
elapsedtime      7614 src/dps8/dps8_ins.c elapsedtime ();
elapsedtime      9846 src/dps8/dps8_ins.c elapsedtime ();