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      7567 src/dps8/dps8_ins.c elapsedtime ();
elapsedtime      7617 src/dps8/dps8_ins.c void elapsedtime (void);
elapsedtime      7618 src/dps8/dps8_ins.c elapsedtime ();
elapsedtime      9763 src/dps8/dps8_ins.c elapsedtime ();