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