Corpus for read$eventfd:
Coverage
Program
1324
creat-inotify_init1-inotify_add_watch-creat-dup2-read$eventfd
522
eventfd2-read$eventfd
248
openat$full-read$eventfd
143
openat$full-read$eventfd