sim_cosched_interval   80 src/simh/sim_timer.c static int32 sim_cosched_interval[SIM_NTIMERS+1];
sim_cosched_interval  636 src/simh/sim_timer.c --sim_cosched_interval[tmr];                    /* Countdown ticks */
sim_cosched_interval  649 src/simh/sim_timer.c            (sim_cosched_interval[tmr] < sim_clock_cosched_queue[tmr]->time)) {
sim_cosched_interval  657 src/simh/sim_timer.c         sim_cosched_interval[tmr]     = sim_clock_cosched_queue[tmr]->time;
sim_cosched_interval  659 src/simh/sim_timer.c         sim_cosched_interval[tmr]     = 0;