rtc_gtime         307 src/simh/sim_timer.c static double rtc_gtime[SIM_NTIMERS+1]                   = { 0 }; /* instruction time */
rtc_gtime         519 src/simh/sim_timer.c     if (rtc_gtime[tmr])
rtc_gtime         520 src/simh/sim_timer.c         fprintf (st, "  Instruction Time:          %.0f\n", rtc_gtime[tmr]);