Corpus for read$eventfd:

Coverage	Program
804	seccomp$SECCOMP_SET_MODE_FILTER_LISTENER-openat$procfs-read$eventfd
603	openat$procfs-read$eventfd
491	eventfd2-read$eventfd
440	perf_event_open-openat$procfs-read$eventfd
436	perf_event_open-openat$procfs-read$eventfd
433	perf_event_open-eventfd-read$eventfd
416	openat$procfs-read$eventfd
281	syz_open_dev$vcsn-read$eventfd
212	eventfd2-read$eventfd-write
164	perf_event_open-eventfd-read$eventfd
146	openat-pipe2-eventfd-dup3-mount$9p_fd-read$eventfd