Added sched_setscheduler()/sched_getscheduler()