Corpus for read$eventfd:
Coverage
Program
563
eventfd2-read$eventfd
302
openat$vcsu-read$eventfd
282
openat$vcsu-read$eventfd
141
eventfd2-read$eventfd