Corpus for eventfd2:

Coverage	Program
910	perf_event_open-eventfd2-io_setup-io_submit
808	eventfd2-io_setup-io_submit
268	prctl$PR_SET_SYSCALL_USER_DISPATCH_ON-eventfd2
247	eventfd2-write$eventfd
9	eventfd2