sched_get_priority_max
int sched_get_priority_max(int);
sp.sched_priority = sched_get_priority_max(SCHED_FIFO) - 2;
sp.sched_priority = sched_get_priority_max(SCHED_FIFO) - 1;
sp.sched_priority = sched_get_priority_max(SCHED_FIFO) - 2;
sp.sched_priority = sched_get_priority_max(SCHED_FIFO) - 1;
RL(max = sched_get_priority_max(scheduler));
max_fifo_prio = sched_get_priority_max(SCHED_FIFO);
int max_prio = sched_get_priority_max(SCHED_FIFO);
pri = sched_get_priority_max(SCHED_RR);
pri = sched_get_priority_max(SCHED_FIFO);
ATF_REQUIRE(sched_get_priority_max(INT_MAX) != 0);
ATF_REQUIRE(sched_get_priority_max(-INT_MAX) != 0);
pmax = sched_get_priority_max(pol[i]);