Corpus for sched_getscheduler:

Coverage	Program
570	seccomp$SECCOMP_SET_MODE_FILTER_LISTENER-getpgid-sched_getscheduler