Corpus for read$eventfd:
Coverage
Program
1456
openat-open-readahead-writev-creat-mkdirat-fspick-fallocate-openat-epoll_create-fallocate-signalfd4-read$eventfd-ioctl$FS_IOC_RESVSP-perf_event_open-ioctl$EXT4_IOC_MOVE_EXT