rtc_vtime         304 src/simh/sim_timer.c static uint32 rtc_vtime[SIM_NTIMERS+1]                   = { 0 }; /* virtual time */
rtc_vtime         397 src/simh/sim_timer.c rtc_vtime[tmr]                    = rtc_rtime[tmr];