max_prio          127 src/simh/sim_timer.c int sched_policy, min_prio, max_prio;
max_prio          136 src/simh/sim_timer.c max_prio = sched_get_priority_max(sched_policy);
max_prio          142 src/simh/sim_timer.c         sched_priority.sched_priority = (max_prio + min_prio) / 2;
max_prio          145 src/simh/sim_timer.c         sched_priority.sched_priority = max_prio;