Corpus for read$eventfd:
Coverage Program
2153 openat-ioctl$FS_IOC_FSSETXATTR-read$eventfd
530 syz_genetlink_get_family_id$ieee802154-openat$binderfs-eventfd2-read$eventfd
186 eventfd2-read$eventfd
126 openat$hpet-read$eventfd