sim_fmt_secs     5025 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      493 src/simh/sim_timer.c         fprintf (st, "  Tick Size:                 %s\n", sim_fmt_secs (rtc_clock_tick_size[tmr]));
sim_fmt_secs      496 src/simh/sim_timer.c     fprintf (st, "  Seconds Running:           %lu (%s)\n",   (unsigned long)rtc_elapsed[tmr], sim_fmt_secs ((double)rtc_elapsed[tmr]));
sim_fmt_secs      514 src/simh/sim_timer.c         fprintf (st, "  Peak Clock Skew:           %s%s\n", sim_fmt_secs (fabs(rtc_clock_skew_max[tmr])), (rtc_clock_skew_max[tmr] < 0) ? " fast" : " slow");
sim_fmt_secs      520 src/simh/sim_timer.c         fprintf (st, "  Tick Time:                 %s\n",   sim_fmt_secs (rtc_calib_tick_time[tmr]));
sim_fmt_secs      522 src/simh/sim_timer.c         fprintf (st, "  Total Tick Time:           %s\n",   sim_fmt_secs (rtc_calib_tick_time_tot[tmr]+rtc_calib_tick_time[tmr]));
sim_fmt_secs      539 src/simh/sim_timer.c         fprintf (st, "  Total Time Idled:          %s\n",   sim_fmt_secs (rtc_clock_time_idled[tmr]/1000.0));