rtc_rtime         305 src/simh/sim_timer.c static uint32 rtc_rtime[SIM_NTIMERS+1]                   = { 0 }; /* real time */
rtc_rtime         398 src/simh/sim_timer.c rtc_rtime[tmr]                    = sim_os_msec ();
rtc_rtime         399 src/simh/sim_timer.c rtc_vtime[tmr]                    = rtc_rtime[tmr];