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);