Corpus for semctl$IPC_STAT:
Coverage Program
165 semget-semctl$IPC_STAT
60 semctl$IPC_STAT
34 semctl$IPC_STAT