Corpus for ioctl$RNDGETENTCNT:

Coverage	Program
802	openat$random-ioctl$RNDGETENTCNT
115	openat$random-ioctl$RNDGETENTCNT