Corpus for read$eventfd:

Coverage	Program
421	pipe-vmsplice-write$P9_RSTATFS-read$eventfd
360	pipe-fcntl$setpipe-write$P9_RSTATFS-read$eventfd
329	pipe-read$eventfd-writev
180	openat$full-read$eventfd
146	eventfd2-read$eventfd