sim_fmt_secs 5583 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 506 src/simh/sim_timer.c sim_fmt_secs (rtc_clock_tick_size[tmr])); sim_fmt_secs 512 src/simh/sim_timer.c sim_fmt_secs ((double)rtc_elapsed[tmr])); sim_fmt_secs 540 src/simh/sim_timer.c sim_fmt_secs (fabs(rtc_clock_skew_max[tmr])), sim_fmt_secs 550 src/simh/sim_timer.c sim_fmt_secs (rtc_calib_tick_time[tmr])); sim_fmt_secs 553 src/simh/sim_timer.c sim_fmt_secs (rtc_calib_tick_time_tot[tmr]+rtc_calib_tick_time[tmr])); sim_fmt_secs 572 src/simh/sim_timer.c fprintf (st, " Total Time Idled: %s\n", sim_fmt_secs (rtc_clock_time_idled[tmr]/1000.0));