Corpus for read$eventfd:
Coverage
Program
546
eventfd2-read$eventfd
314
openat$vcsu-read$eventfd
147
openat-fcntl$F_SET_FILE_RW_HINT-read$eventfd