sched_get_priority_max  212 src/dps8/dps8_rt.c   max_priority = sched_get_priority_max(RT_SCHEDULER);
sched_get_priority_max  147 src/simh/sim_timer.c max_prio = sched_get_priority_max(sched_policy);