Corpus for ioctl$TIOCGPKT:

Coverage	Program
1963	openat$ptmx-ioctl$TIOCGPKT
491	openat$ptmx-ioctl$TIOCGPKT
421	openat$ptmx-ioctl$TIOCGPKT
313	openat$ptmx-ioctl$TIOCGPKT
312	openat$ptmx-ioctl$TIOCGPKT