sim_cosched_interval   91 src/simh/sim_timer.c static int32 sim_cosched_interval[SIM_NTIMERS+1];
sim_cosched_interval  657 src/simh/sim_timer.c --sim_cosched_interval[tmr];                    /* Countdown ticks */
sim_cosched_interval  680 src/simh/sim_timer.c            (sim_cosched_interval[tmr] < sim_clock_cosched_queue[tmr]->time)) {
sim_cosched_interval  688 src/simh/sim_timer.c         sim_cosched_interval[tmr]     = sim_clock_cosched_queue[tmr]->time;
sim_cosched_interval  690 src/simh/sim_timer.c         sim_cosched_interval[tmr]     = 0;