Corpus for ioctl$TIOCSPTLCK:

Coverage	Program
273	openat$ptmx-ioctl$TIOCSPTLCK-ioctl$TCSETSW-ioctl$TCSETSW
132	openat$ptmx-ioctl$TIOCSPTLCK