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      7562 src/dps8/dps8_ins.c elapsedtime ();
elapsedtime      7612 src/dps8/dps8_ins.c void elapsedtime (void);
elapsedtime      7613 src/dps8/dps8_ins.c elapsedtime ();
elapsedtime      9758 src/dps8/dps8_ins.c elapsedtime ();