sim_cosched_interval   84 src/simh/sim_timer.c static int32 sim_cosched_interval[SIM_NTIMERS+1];
sim_cosched_interval  671 src/simh/sim_timer.c --sim_cosched_interval[tmr];                    /* Countdown ticks */
sim_cosched_interval  684 src/simh/sim_timer.c            (sim_cosched_interval[tmr] < sim_clock_cosched_queue[tmr]->time)) {
sim_cosched_interval  692 src/simh/sim_timer.c         sim_cosched_interval[tmr]     = sim_clock_cosched_queue[tmr]->time;
sim_cosched_interval  694 src/simh/sim_timer.c         sim_cosched_interval[tmr]     = 0;