Corpus for ioctl$TIOCGPKT:

Coverage	Program
365	openat$ptmx-ioctl$TIOCGPKT
345	openat$ptmx-ioctl$TIOCGPKT
344	openat$ptmx-ioctl$TIOCGPKT
260	openat$ptmx-ioctl$TIOCGPKT
257	openat$ptmx-ioctl$TIOCGPKT
130	openat$ptmx-ioctl$TIOCGPKT