max_prio 131 src/simh/sim_timer.c int sched_policy, min_prio, max_prio; max_prio 141 src/simh/sim_timer.c max_prio = sched_get_priority_max(sched_policy); max_prio 144 src/simh/sim_timer.c max_prio = 127; max_prio 151 src/simh/sim_timer.c sched_priority.sched_priority = (max_prio + min_prio) / 2; max_prio 154 src/simh/sim_timer.c sched_priority.sched_priority = max_prio;