MUTEX_NOT_HELD
ASSERT(MUTEX_NOT_HELD(&curproc->p_lock));
ASSERT(MUTEX_NOT_HELD(&curproc->p_lock));
ASSERT(MUTEX_NOT_HELD(&curproc->p_lock));
ASSERT(MUTEX_NOT_HELD(&(curproc)->p_lock));
ASSERT(MUTEX_NOT_HELD(&(curproc)->p_lock));
ASSERT(MUTEX_NOT_HELD(&(curproc)->p_lock));
ASSERT(MUTEX_NOT_HELD(&curproc->p_lock));
ASSERT(MUTEX_NOT_HELD(&curproc->p_lock));
ASSERT(MUTEX_NOT_HELD(&curproc->p_lock));
ASSERT(MUTEX_NOT_HELD(&curproc->p_lock));
ASSERT(MUTEX_NOT_HELD(&dtrace_lock));
ASSERT(MUTEX_NOT_HELD(&door_knob));
ASSERT(MUTEX_NOT_HELD(&door_knob));
ASSERT(MUTEX_NOT_HELD(&door_knob));
ASSERT(MUTEX_NOT_HELD(&door_knob));
ASSERT(MUTEX_NOT_HELD(&door_knob));
ASSERT(MUTEX_NOT_HELD(&door_knob));
ASSERT(MUTEX_NOT_HELD(&door_knob));
ASSERT(MUTEX_NOT_HELD(&door_knob));
ASSERT(MUTEX_NOT_HELD(&door_knob));
ASSERT(MUTEX_NOT_HELD(&door_knob));
ASSERT(MUTEX_NOT_HELD(&door_knob));
ASSERT(MUTEX_NOT_HELD(&door_knob));
ASSERT(MUTEX_NOT_HELD(&p->p_lock));
ASSERT(MUTEX_NOT_HELD(&p->p_lock));
ASSERT(MUTEX_NOT_HELD(&curproc->p_lock));
VERIFY(MUTEX_NOT_HELD(&node->n_mutex));
ASSERT(MUTEX_NOT_HELD(&so->so_lock));
ASSERT(MUTEX_NOT_HELD(&so->so_lock));
ASSERT(MUTEX_NOT_HELD(&so->so_lock));
ASSERT(MUTEX_NOT_HELD(&so->so_lock));
ASSERT(MUTEX_NOT_HELD(&so->so_lock));
ASSERT(MUTEX_NOT_HELD(&so->so_lock));
ASSERT(MUTEX_NOT_HELD(&so->so_lock));
ASSERT(MUTEX_NOT_HELD(&so->so_lock));
ASSERT(MUTEX_NOT_HELD(&so->so_lock));
ASSERT(MUTEX_NOT_HELD(&so->so_lock));
ASSERT(MUTEX_NOT_HELD(&so->so_lock));
ASSERT(MUTEX_NOT_HELD(&so->so_lock));
ASSERT(MUTEX_NOT_HELD(&so->so_lock));
ASSERT(MUTEX_NOT_HELD(&so->so_lock));
ASSERT(MUTEX_NOT_HELD(&so->so_lock));
ASSERT(MUTEX_NOT_HELD(&sp->sp_lock));
ASSERT(MUTEX_NOT_HELD(&so->so_lock));
ASSERT(MUTEX_NOT_HELD(&so->so_lock));
ASSERT(MUTEX_NOT_HELD(&so->so_lock));
ASSERT(MUTEX_NOT_HELD(&so->so_lock));
ASSERT(MUTEX_NOT_HELD(&so->so_lock));
ASSERT(MUTEX_NOT_HELD(&so->so_lock));
ASSERT(MUTEX_NOT_HELD(&so->so_lock));
ASSERT(MUTEX_NOT_HELD(&so->so_lock));
ASSERT(MUTEX_NOT_HELD(&so->so_lock));
ASSERT(MUTEX_NOT_HELD(&so->so_lock));
ASSERT(MUTEX_NOT_HELD(&so->so_lock));
ASSERT(MUTEX_NOT_HELD(&so->so_lock));
ASSERT(MUTEX_NOT_HELD(&nso->so_lock));
ASSERT(MUTEX_NOT_HELD(&so->so_lock));
ASSERT(MUTEX_NOT_HELD(f->uf_vfs_lockp));
ASSERT(MUTEX_NOT_HELD(f->uf_vfs_lockp));
ASSERT(MUTEX_NOT_HELD(f->uf_vfs_lockp));
ASSERT(MUTEX_NOT_HELD(f->uf_vfs_lockp));
ASSERT(MUTEX_NOT_HELD(&f->uf_ufsvfsp->vfs_ulockfs.ul_lock));
ASSERT(MUTEX_NOT_HELD(f->uf_vfs_lockp));
ASSERT(MUTEX_NOT_HELD(&ulp->ul_lock));
ASSERT(MUTEX_NOT_HELD(&vp->v_lock));
ASSERT(MUTEX_NOT_HELD(&odn->dn_mtx));
ASSERT(MUTEX_NOT_HELD(&odn->dn_dbufs_mtx));
ASSERT(MUTEX_NOT_HELD(&coa->coa_connp->conn_lock));
ASSERT(MUTEX_NOT_HELD(&coa->coa_connp->conn_lock));
ASSERT(MUTEX_NOT_HELD(&connp->conn_lock));
ASSERT(MUTEX_NOT_HELD(&coa->coa_connp->conn_lock));
ASSERT(MUTEX_NOT_HELD(&icmp->icmp_recv_lock));
ASSERT(MUTEX_NOT_HELD(&connp->conn_lock));
ASSERT(MUTEX_NOT_HELD(&connp->conn_lock));
ASSERT(MUTEX_NOT_HELD(&connp->conn_lock));
ASSERT(MUTEX_NOT_HELD(&connp->conn_lock));
ASSERT(MUTEX_NOT_HELD(&ipss->ipsec_loader_lock));
ASSERT(MUTEX_NOT_HELD(&ipss->ipsec_loader_lock));
ASSERT(MUTEX_NOT_HELD(&assoc->ipsa_lock));
ASSERT(MUTEX_NOT_HELD(&ipsa->ipsa_lock));
ASSERT(MUTEX_NOT_HELD(&newbie->ipsa_lock));
(MUTEX_NOT_HELD(&newbie_clone->ipsa_lock)));
ASSERT(MUTEX_NOT_HELD(&(ipsa->ipsa_lock)));
ASSERT(MUTEX_NOT_HELD(&attrp->igsa_lock));
ASSERT(MUTEX_NOT_HELD(&sqp->sq_lock));
ASSERT(MUTEX_NOT_HELD(&sqp->sq_lock));
ASSERT(MUTEX_NOT_HELD(&coa->coa_connp->conn_lock));
ASSERT(MUTEX_NOT_HELD(&udp->udp_recv_lock));
ASSERT(MUTEX_NOT_HELD(&connp->conn_lock));
ASSERT(MUTEX_NOT_HELD(&connp->conn_lock));
ASSERT(MUTEX_NOT_HELD(&connp->conn_lock));
ASSERT(MUTEX_NOT_HELD(&connp->conn_lock));
ASSERT(MUTEX_NOT_HELD(&ctxtp->intrprocmutex));
ASSERT(MUTEX_NOT_HELD(&uvp->ctxtp->intrprocmutex));
ASSERT(MUTEX_NOT_HELD(&uvp->ctxtp->intrprocmutex));
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->br_thread_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->br_thread_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(&hal->topology_tree_mutex));
ASSERT(MUTEX_NOT_HELD(&ibmf_cip->ci_clients_mutex));
ASSERT(MUTEX_NOT_HELD(&ibmf_cip->ci_clients_mutex));
ASSERT(MUTEX_NOT_HELD(&ibmf_cip->ci_clients_mutex));
ASSERT(MUTEX_NOT_HELD(&ibmf_cip->ci_mutex));
ASSERT(MUTEX_NOT_HELD(&ibmf_cip->ci_mutex));
ASSERT(MUTEX_NOT_HELD(&ibmf_statep->ibmf_mutex));
ASSERT(MUTEX_NOT_HELD(&cip->ci_mutex));
ASSERT(MUTEX_NOT_HELD(&ibmf_cip->ci_clients_mutex));
ASSERT(MUTEX_NOT_HELD(&ibmf_statep->ibmf_mutex));
ASSERT(MUTEX_NOT_HELD(&cip->ci_mutex));
ASSERT(MUTEX_NOT_HELD(&ibmf_statep->ibmf_mutex));
ASSERT(MUTEX_NOT_HELD(&cip->ci_mutex));
ASSERT(MUTEX_NOT_HELD(&cip->ci_mutex));
ASSERT(MUTEX_NOT_HELD(&msgimplp->im_mutex));
ASSERT(MUTEX_NOT_HELD(&msgimplp->im_mutex));
ASSERT(MUTEX_NOT_HELD(&cip->ci_mutex));
ASSERT(MUTEX_NOT_HELD(&clientp->ic_mutex));
ASSERT(MUTEX_NOT_HELD(&ringp->s_ring_lock));
ASSERT(MUTEX_NOT_HELD(&ringp->s_ring_lock));
ASSERT(MUTEX_NOT_HELD(&ringp->s_ring_lock));
ASSERT(MUTEX_NOT_HELD(&ptms_lock));
ASSERT(MUTEX_NOT_HELD(&ss->ss_sad_lock));
ASSERT((q->q_flag & QREADR) || MUTEX_NOT_HELD(&STREAM(q)->sd_lock));
VERIFY(MUTEX_NOT_HELD(&vin->vin_mutex));
VERIFY(MUTEX_NOT_HELD(&vif->vif_mutex));
VERIFY(MUTEX_NOT_HELD(&vif->vif_mutex));
VERIFY(MUTEX_NOT_HELD(&vif->vif_mutex));
VERIFY(MUTEX_NOT_HELD(&vif->vif_mutex));
ASSERT(locked || MUTEX_NOT_HELD(&ct->ct_lock));
ASSERT(MUTEX_NOT_HELD(&p->p_lock));
ASSERT(MUTEX_NOT_HELD(&tp->p_crlock));
ASSERT(MUTEX_NOT_HELD(SQLOCK(sq)));
ASSERT(MUTEX_NOT_HELD(SQLOCK(sq)));
ASSERT(MUTEX_NOT_HELD(SQLOCK(sq)));
ASSERT(MUTEX_NOT_HELD(&P_FINFO(curproc)->fi_lock));
ASSERT(MUTEX_NOT_HELD(&pidlock));
ASSERT(MUTEX_NOT_HELD(&pidlock));
ASSERT(MUTEX_NOT_HELD(&curproc->p_lock));
ASSERT(MUTEX_NOT_HELD(&cp->cache_lock));
ASSERT(MUTEX_NOT_HELD(&cp->cache_lock));
ASSERT(MUTEX_NOT_HELD(&cp->cache_lock));
ASSERT(MUTEX_NOT_HELD(&cp->cache_lock));
ASSERT(MUTEX_NOT_HELD(&cp->cache_lock));
ASSERT(MUTEX_NOT_HELD(&cp->cache_lock));
if (lp != NULL && MUTEX_NOT_HELD(lp)) {
ASSERT(MUTEX_NOT_HELD(&mod_lock));
ASSERT(MUTEX_NOT_HELD(&mod_lock));
ASSERT(MUTEX_NOT_HELD(&mod_lock));
ASSERT(MUTEX_NOT_HELD(&mod_lock));
ASSERT(MUTEX_NOT_HELD(&mod_lock));
ASSERT(MUTEX_NOT_HELD(&mod_lock));
ASSERT(MUTEX_NOT_HELD(&mod_lock));
ASSERT(MUTEX_NOT_HELD(&mod_lock));
ASSERT(MUTEX_NOT_HELD(SQLOCK(sq)));
ASSERT(MUTEX_NOT_HELD(SQLOCK(sq)));
ASSERT(MUTEX_NOT_HELD(SQLOCK(sq)));
ASSERT(MUTEX_NOT_HELD(QLOCK(qp)));
ASSERT(MUTEX_NOT_HELD(SQLOCK(sq)));
ASSERT(MUTEX_NOT_HELD(QLOCK(qp)));
ASSERT(MUTEX_NOT_HELD(SQLOCK(sq)));
ASSERT(MUTEX_NOT_HELD(SQLOCK(sq)));
ASSERT(MUTEX_NOT_HELD(QLOCK(qp)));
ASSERT(MUTEX_NOT_HELD(SQLOCK(sq)));
ASSERT(MUTEX_NOT_HELD(QLOCK(qp)));
ASSERT(MUTEX_NOT_HELD(&curproc->p_lock));
ASSERT(MUTEX_NOT_HELD(&curproc->p_lock));
ASSERT(MUTEX_NOT_HELD(&curproc->p_lock));
ASSERT(MUTEX_NOT_HELD(&p->p_lock));
ASSERT(MUTEX_NOT_HELD(&p->p_lock));
ASSERT(MUTEX_NOT_HELD(&s->ser_lock));
ASSERT(MUTEX_NOT_HELD(&s->ser_lock));
ASSERT(MUTEX_NOT_HELD(&pidlock));
MUTEX_NOT_HELD(&sp->s_vp->v_stream->sd_lock));
ASSERT(MUTEX_NOT_HELD(&pidlock));
ASSERT(MUTEX_NOT_HELD(&pp->p_lock));
ASSERT(MUTEX_NOT_HELD(&stp->sd_lock));
ASSERT(MUTEX_NOT_HELD(&stp->sd_lock));
ASSERT(MUTEX_NOT_HELD(&stp->sd_lock));
ASSERT(MUTEX_NOT_HELD(QLOCK(qp)));
ASSERT(MUTEX_NOT_HELD(QLOCK(wqp)));
ASSERT(MUTEX_NOT_HELD(SQLOCK(sq)));
ASSERT(MUTEX_NOT_HELD(SQLOCK(sq)));
ASSERT(MUTEX_NOT_HELD(SQLOCK(outer)));
ASSERT(MUTEX_NOT_HELD(SQLOCK(sq)));
ASSERT(MUTEX_NOT_HELD(SQLOCK(sq)));
ASSERT(MUTEX_NOT_HELD(SQLOCK(sq)));
ASSERT(MUTEX_NOT_HELD(QLOCK(q)));
ASSERT(MUTEX_NOT_HELD(QLOCK(qp)));
ASSERT(MUTEX_NOT_HELD(&b->tqbucket_lock));
ASSERT(MUTEX_NOT_HELD(&b->tqbucket_lock));
ASSERT(MUTEX_NOT_HELD(&idleb->tqbucket_lock));
ASSERT(MUTEX_NOT_HELD(idle_lock));
ASSERT(MUTEX_NOT_HELD(&curproc->p_lock));
ASSERT(MUTEX_NOT_HELD(&zonehash_lock));
ASSERT(MUTEX_NOT_HELD(&zonehash_lock));
ASSERT(MUTEX_NOT_HELD(&mir->mir_mutex));
ASSERT(MUTEX_NOT_HELD(&mir->mir_mutex));
ASSERT(MUTEX_NOT_HELD(&mir->mir_mutex));
ASSERT(MUTEX_NOT_HELD(&mir->mir_mutex));
ASSERT(MUTEX_NOT_HELD(&mir->mir_mutex));
ASSERT(MUTEX_NOT_HELD(&mir->mir_mutex));
ASSERT(MUTEX_NOT_HELD(&(so)->so_lock)); \
MUTEX_NOT_HELD(PHLOCK(pdp->pd_php)));
ASSERT(MUTEX_NOT_HELD(&ps->ps_lock));
ASSERT(MUTEX_NOT_HELD(page_vnode_mutex(vp)));
ASSERT(MUTEX_NOT_HELD(page_vnode_mutex(vp)));
ASSERT(MUTEX_NOT_HELD(page_vnode_mutex(vp)));
ASSERT(MUTEX_NOT_HELD(page_vnode_mutex(vp)));
ASSERT(MUTEX_NOT_HELD(page_vnode_mutex(vp)));
ASSERT(MUTEX_NOT_HELD(page_vnode_mutex(vp)));
ASSERT(MUTEX_NOT_HELD(page_vnode_mutex(pp->p_vnode)));
ASSERT(MUTEX_NOT_HELD(page_vnode_mutex(vp)));
ASSERT(MUTEX_NOT_HELD(page_vnode_mutex(vp)));
ASSERT(MUTEX_NOT_HELD(&vdp->xdf_dev_lk));
ASSERT(MUTEX_NOT_HELD(&vdp->xdf_dev_lk));
ASSERT(MUTEX_NOT_HELD(&vdp->xdf_dev_lk));
ASSERT(MUTEX_NOT_HELD(&vdp->xdf_dev_lk));
ASSERT(MUTEX_NOT_HELD(page_vnode_mutex(vp)));
ASSERT(MUTEX_NOT_HELD(&lwptoproc(lwp)->p_lock));
ASSERT(MUTEX_NOT_HELD(&lwptoproc(lwp)->p_lock));
ASSERT(MUTEX_NOT_HELD(&lwptoproc(lwp)->p_lock));
MUTEX_NOT_HELD(&lwptoproc(lwp)->p_lock));
ASSERT(MUTEX_NOT_HELD(&lwptoproc(lwp)->p_lock));
ASSERT(MUTEX_NOT_HELD(&lwptoproc(lwp)->p_lock));
ASSERT(MUTEX_NOT_HELD(&ss->ss_lock));
ASSERT(MUTEX_NOT_HELD(&vmm_mtx));
ASSERT(MUTEX_NOT_HELD(&vmm_mtx));
ASSERT(MUTEX_NOT_HELD(&lwptoproc(lwp)->p_lock));
ASSERT(MUTEX_NOT_HELD(&lwptoproc(lwp)->p_lock));
MUTEX_NOT_HELD(&lwptoproc(lwp)->p_lock));
ASSERT(MUTEX_NOT_HELD(&lwptoproc(lwp)->p_lock));
ASSERT(MUTEX_NOT_HELD(&lwptoproc(lwp)->p_lock));
ASSERT(MUTEX_NOT_HELD(&lwptoproc(lwp)->p_lock));
ASSERT(MUTEX_NOT_HELD(&vdcp->lock));
ASSERT(MUTEX_NOT_HELD(&vdc->lock));