Corpus for ioctl$TIOCSPTLCK:

Coverage	Program
1670	openat$ptmx-ioctl$TIOCSPTLCK
225	openat$ptmx-ioctl$TIOCSPTLCK