min_prio 127 src/simh/sim_timer.c int sched_policy, min_prio, max_prio; min_prio 135 src/simh/sim_timer.c min_prio = sched_get_priority_min(sched_policy); min_prio 139 src/simh/sim_timer.c sched_priority.sched_priority = min_prio; min_prio 142 src/simh/sim_timer.c sched_priority.sched_priority = (max_prio + min_prio) / 2;