Corpus for ioctl$TIOCPKT:

Coverage	Program
208	openat$ptmx-ioctl$TIOCPKT
207	openat$ptmx-ioctl$TIOCPKT
167	perf_event_open-openat$ptmx-ioctl$TIOCPKT