Corpus for eventfd:

Coverage	Program
728	seccomp$SECCOMP_SET_MODE_FILTER_LISTENER-eventfd
291	eventfd
275	uname-perf_event_open-io_getevents-eventfd-signalfd4-ioctl$sock_SIOCGIFINDEX_80211-syslog
163	prlimit64-eventfd