ipcs_lock
mutex_enter(&service->ipcs_lock);
mutex_exit(&service->ipcs_lock);
mutex_enter(&service->ipcs_lock);
mutex_exit(&service->ipcs_lock);
*lockp = &service->ipcs_lock;
mutex_enter(&service->ipcs_lock);
ASSERT(MUTEX_HELD(&service->ipcs_lock));
mutex_exit(&service->ipcs_lock);
ASSERT(MUTEX_HELD(&service->ipcs_lock));
mutex_exit(&service->ipcs_lock);
mutex_exit(&service->ipcs_lock);
ASSERT(MUTEX_HELD(&service->ipcs_lock));
mutex_enter(&service->ipcs_lock);
mutex_exit(&service->ipcs_lock);
mutex_exit(&service->ipcs_lock);
mutex_exit(&service->ipcs_lock);
mutex_enter(&service->ipcs_lock);
mutex_exit(&service->ipcs_lock);
mutex_exit(&service->ipcs_lock);
mutex_enter(&service->ipcs_lock);
mutex_exit(&service->ipcs_lock);
mutex_init(&result->ipcs_lock, NULL, MUTEX_ADAPTIVE, NULL);
mutex_enter(&service->ipcs_lock);
mutex_destroy(&service->ipcs_lock);
mutex_enter(&service->ipcs_lock);
mutex_exit(&service->ipcs_lock);
ASSERT(MUTEX_HELD(&service->ipcs_lock));
ASSERT(MUTEX_HELD(&service->ipcs_lock));
ASSERT(MUTEX_HELD(&service->ipcs_lock));
ipcs_lock(shm_svc);
kmutex_t ipcs_lock; /* lock for (de)allocation, keys */
void ipcs_lock(ipc_service_t *);