ipc_rele
ipc_rele(service, perm);
ipc_rele(service, perm);
ipc_rele(msq_svc, (kipc_perm_t *)qp);
ipc_rele(msq_svc, (kipc_perm_t *)qp); /* drops lock */
ipc_rele(msq_svc, (kipc_perm_t *)qp);
ipc_rele(msq_svc, (kipc_perm_t *)qp);
ipc_rele(shm_svc, (kipc_perm_t *)sp); /* Drops lock */
void ipc_rele(ipc_service_t *, kipc_perm_t *);
ipc_rele(sem_svc, (kipc_perm_t *)sp);
ipc_rele(sem_svc, (kipc_perm_t *)sp);
ipc_rele(sem_svc, (kipc_perm_t *)sp);