Corpus for semctl$IPC_RMID:

Coverage	Program
778	clock_gettime-sched_rr_get_interval-semtimedop-semctl$SEM_STAT_ANY-clock_getres-semctl$GETVAL-semget$private-semctl$SEM_STAT_ANY-semctl$IPC_INFO-semctl$SEM_INFO-clock_getres-clock_gettime-semget$private-semctl$IPC_RMID-semctl$IPC_RMID
430	perf_event_open-semget$private-semop-semctl$IPC_RMID
280	semget$private-semctl$SETALL-semop-semctl$IPC_RMID
244	perf_event_open-semget-semctl$IPC_RMID
224	semget$private-semctl$SETALL-semop-semctl$IPC_RMID
218	semget$private-semop-semctl$IPC_RMID
217	semop-semctl$SETALL-semop-semctl$IPC_RMID
147	semget$private-semop-semctl$IPC_RMID
146	semget$private-semop-semctl$IPC_RMID
138	semget$private-semop-semctl$IPC_RMID
126	semget$private-semop-semctl$IPC_RMID
70	perf_event_open-semget$private-semctl$IPC_RMID-semctl$IPC_RMID
10	semctl$IPC_RMID