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      7632 src/dps8/dps8_ins.c elapsedtime ();
elapsedtime      7682 src/dps8/dps8_ins.c void elapsedtime (void);
elapsedtime      7683 src/dps8/dps8_ins.c elapsedtime ();
elapsedtime      9938 src/dps8/dps8_ins.c elapsedtime ();