min_prio          134 src/simh/sim_timer.c int sched_policy = 0, min_prio = 0, max_prio = 0;
min_prio          146 src/simh/sim_timer.c min_prio = sched_get_priority_min(sched_policy);
min_prio          149 src/simh/sim_timer.c min_prio = 1;
min_prio          154 src/simh/sim_timer.c         sched_param.sched_priority = min_prio;
min_prio          157 src/simh/sim_timer.c         sched_param.sched_priority = (max_prio + min_prio) / 2;