Corpus for semctl$IPC_INFO:

Coverage	Program
443	openat$sysfs-semctl$IPC_INFO