sched_priority    228 src/dps8/dps8_rt.c   param.sched_priority = priority;
sched_priority    252 src/dps8/dps8_rt.c       if (priority != param_check.sched_priority) {
sched_priority    254 src/dps8/dps8_rt.c                         priority, param_check.sched_priority);
sched_priority    258 src/dps8/dps8_rt.c       if (priority == param_check.sched_priority) {
sched_priority    260 src/dps8/dps8_rt.c                         param_check.sched_priority);
sched_priority    154 src/simh/sim_timer.c         sched_param.sched_priority = min_prio;
sched_priority    157 src/simh/sim_timer.c         sched_param.sched_priority = (max_prio + min_prio) / 2;
sched_priority    160 src/simh/sim_timer.c         sched_param.sched_priority = max_prio;
sched_priority    165 src/simh/sim_timer.c     (void)sir_debug("pthread_setschedparam failed changing priority to %d", sched_param.sched_priority);