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