Corpus for sched_rr_get_interval:

Coverage	Program
411	gettid-sched_rr_get_interval
88	sched_rr_get_interval