Corpus for ioctl$TIOCGPTLCK:

Coverage	Program
2078	openat$ptmx-ioctl$TIOCGPTLCK-openat$full-ioctl$TIOCNXCL-inotify_init
410	openat$ptmx-ioctl$TIOCGPTLCK
410	openat$ptmx-ioctl$TIOCGPTLCK-ioctl$TIOCGPTPEER-openat$full-ioctl$TIOCNXCL-inotify_init