Corpus for ioctl$TIOCPKT:

Coverage	Program
134	openat$ptmx-ioctl$TIOCSPTLCK-ioctl$TIOCPKT