rtc_clock_time_idled  327 src/simh/sim_timer.c static uint32 rtc_clock_time_idled[SIM_NTIMERS+1]        = { 0 }; /* total time idled */
rtc_clock_time_idled  571 src/simh/sim_timer.c     if (rtc_clock_time_idled[tmr])
rtc_clock_time_idled  572 src/simh/sim_timer.c         fprintf (st, "  Total Time Idled:          %s\n",   sim_fmt_secs (rtc_clock_time_idled[tmr]/1000.0));