elapsedtime       355 src/dps8/dps8_faults.c void elapsedtime (void);
elapsedtime       380 src/dps8/dps8_faults.c  elapsedtime ();
elapsedtime       385 src/dps8/dps8_faults.c  elapsedtime ();
elapsedtime      7232 src/dps8/dps8_ins.c elapsedtime ();
elapsedtime      7282 src/dps8/dps8_ins.c void elapsedtime (void);
elapsedtime      7283 src/dps8/dps8_ins.c elapsedtime ();
elapsedtime      9428 src/dps8/dps8_ins.c elapsedtime ();