Corpus for ioctl$TCSBRKP:

Coverage	Program
134	openat$ptmx-ioctl$TCSBRKP