Corpus for sched_setscheduler:

Coverage	Program