sim_fmt_secs     5649 src/simh/scp.c         tim = sim_fmt_secs((accum + uptr->time)/sim_timer_inst_per_sec ());
sim_fmt_secs      158 src/simh/scp.h const char *sim_fmt_secs (double seconds);
sim_fmt_secs      505 src/simh/sim_timer.c                  sim_fmt_secs (rtc_clock_tick_size[tmr]));
sim_fmt_secs      511 src/simh/sim_timer.c              sim_fmt_secs ((double)rtc_elapsed[tmr]));
sim_fmt_secs      539 src/simh/sim_timer.c                  sim_fmt_secs (fabs(rtc_clock_skew_max[tmr])),
sim_fmt_secs      549 src/simh/sim_timer.c                  sim_fmt_secs (rtc_calib_tick_time[tmr]));
sim_fmt_secs      552 src/simh/sim_timer.c                  sim_fmt_secs (rtc_calib_tick_time_tot[tmr]+rtc_calib_tick_time[tmr]));
sim_fmt_secs      571 src/simh/sim_timer.c         fprintf (st, "  Total Time Idled:          %s\n",   sim_fmt_secs (rtc_clock_time_idled[tmr]/1000.0));