sched_get_priority_max
prio_max = sched_get_priority_max(policy);
int sched_get_priority_max(int);
prio_max = sched_get_priority_max(SCHED_FX);