Corpus for ioctl$TIOCGPTLCK:

Coverage	Program
343	openat$ptmx-ioctl$TIOCGPTLCK
130	openat$ptmx-ioctl$TIOCGPTLCK