Corpus for ioctl$RNDGETENTCNT:
Coverage
Program
668
openat$random-newfstatat-setuid-ioctl$RNDGETENTCNT
401
openat$random-ioctl$RNDGETENTCNT