Corpus for ioctl$TIOCPKT:

Coverage	Program
1925	openat$ptmx-ioctl$TIOCPKT
138	openat$ptmx-perf_event_open-ioctl$TIOCPKT
93	openat$ptmx-ioctl$TIOCPKT-ioctl$TIOCPKT
92	openat$ptmx-ioctl$TIOCPKT