sched_getscheduler
int sched_getscheduler(pid_t);
RL(child_scheduler = sched_getscheduler(pid));
RL(sched = sched_getscheduler(0));
res = sched_getscheduler(getpid());
ATF_CHECK_EQ(sched_getscheduler(0), pol);