Corpus for ioctl$BLKPG:

Coverage	Program
1817	openat$sr-ioctl$BLKPG