IPC_INDEX
index = IPC_INDEX(id);
ASSERT(IPC_INDEX(id) < service->ipcs_tabsz);
ASSERT(IPC_INDEX(id) < service->ipcs_tabsz);
if (&service->ipcs_table[IPC_INDEX(id)].ipct_lock == lock)
ASSERT(IPC_INDEX(perm->ipc_id) < s->ipcs_tabsz);
ASSERT(IPC_INDEX(perm->ipc_id) < s->ipcs_tabsz);
mutex_exit(&s->ipcs_table[IPC_INDEX(perm->ipc_id)].ipct_lock);
ASSERT(IPC_INDEX(perm->ipc_id) < s->ipcs_tabsz);
MUTEX_HELD(&s->ipcs_table[IPC_INDEX(o->ipc_id)].ipct_lock)