sim_cosched_interval   89 src/simh/sim_timer.c static int32 sim_cosched_interval[SIM_NTIMERS+1];
sim_cosched_interval  679 src/simh/sim_timer.c --sim_cosched_interval[tmr];                    /* Countdown ticks */
sim_cosched_interval  692 src/simh/sim_timer.c            (sim_cosched_interval[tmr] < sim_clock_cosched_queue[tmr]->time)) {
sim_cosched_interval  700 src/simh/sim_timer.c         sim_cosched_interval[tmr]     = sim_clock_cosched_queue[tmr]->time;
sim_cosched_interval  702 src/simh/sim_timer.c         sim_cosched_interval[tmr]     = 0;