Corpus for write$eventfd:
Coverage Program
785 io_setup-pipe-io_submit-write$eventfd
479 io_setup-socketpair$unix-io_submit-dup3-write$eventfd
478 socketpair$unix-dup3-poll-write$eventfd
464 eventfd2-perf_event_open-umount2-write$eventfd-read
432 epoll_create1-eventfd-epoll_ctl$EPOLL_CTL_ADD-write$eventfd
235 eventfd-mmap-write$eventfd
227 perf_event_open-eventfd2-read-write$eventfd
136 perf_event_open-eventfd2-write$eventfd
129 perf_event_open-eventfd2-write$eventfd-eventfd2-ioctl$AUTOFS_DEV_IOCTL_PROTOSUBVER-socket$nl_netfilter-sendmsg$IPCTNL_MSG_CT_DELETE-eventfd2
128 eventfd2-write$eventfd-write$eventfd
127 perf_event_open-eventfd2-write$eventfd-write$eventfd
102 eventfd-ppoll-write$eventfd
98 perf_event_open-eventfd2-write$eventfd
94 eventfd-write$eventfd
92 openat$sr-sendmsg$NL80211_CMD_UNEXPECTED_FRAME-write$eventfd-socket$inet_udplite