Corpus for read$eventfd:

Coverage	Program
77	openat$hwrng-read$eventfd