rtc_nxintv 306 src/simh/sim_timer.c static uint32 rtc_nxintv[SIM_NTIMERS+1] = { 0 }; /* next interval */ rtc_nxintv 397 src/simh/sim_timer.c rtc_nxintv[tmr] = 1000;