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