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;