Corpus for sched_getscheduler:

Coverage	Program
555	seccomp$SECCOMP_SET_MODE_FILTER_LISTENER-gettid-sched_getscheduler