ipc_rele_locked
void ipc_rele_locked(ipc_service_t *, kipc_perm_t *);
ipc_rele_locked(sem_svc, (kipc_perm_t *)sp);