Corpus for ioctl$RNDADDENTROPY:

Coverage	Program
256	openat$random-perf_event_open-ioctl$RNDADDENTROPY
194	openat$random-ioctl$RNDADDENTROPY
113	openat$random-ioctl$RNDADDENTROPY