mutex_owned
if (!mutex_owned(&ks->kso_lock)) {
if (!mutex_owned(&ks->kso_lock)) {
extern int mutex_owned(const kmutex_t *);
#define MUTEX_HELD(x) (mutex_owned(x))
#define MUTEX_NOT_HELD(x) (!mutex_owned(x) || panicstr)
ASSERT(mutex_owned(&p->p_lock));
ASSERT(!mutex_owned(&rndpool_lock));
ASSERT(!mutex_owned(&rndpool_lock));
ASSERT(!mutex_owned(&rndpool_lock));
ASSERT(mutex_owned(&rndpool_lock));
ASSERT(mutex_owned(&rmp->rm_mag.rm_lock));
ASSERT(mutex_owned(&gswq->gs_lock));
ASSERT(mutex_owned(&node->an_lock));
ASSERT(mutex_owned(&gswq->gs_lock));
ASSERT(mutex_owned(&wlp->dwl_lock));
ASSERT(mutex_owned(&wlp->dwl_lock));
if (mutex_owned(&leader->p_lock))
ASSERT(mutex_owned(&sdev_lock));
ASSERT(mutex_owned(&sp->s_lock));
ASSERT(mutex_owned(&np->s_lock));
ASSERT(mutex_owned(&rp->r_statev4_lock));
ASSERT(mutex_owned(&sp->s_lock));
ASSERT(mutex_owned(&sp->s_lock));
ASSERT(mutex_owned(&sp->s_lock));
ASSERT(mutex_owned(&mi->mi_msg_list_lock));
ASSERT(mutex_owned(&mi->mi_msg_list_lock));
ASSERT(mutex_owned(&mi->mi_msg_list_lock));
ASSERT(mutex_owned(&mi->mi_lock));
ASSERT(mutex_owned(&bucketp->b_lock));
ASSERT(mutex_owned(&osp->os_sync_lock));
ASSERT(mutex_owned(&osp->os_sync_lock));
ASSERT(!mutex_owned(&rp->r_os_lock));
ASSERT(mutex_owned(&mi->mi_lock));
ASSERT(!mutex_owned(&rp->r_statev4_lock));
ASSERT(mutex_owned(&mi->mi_lock));
ASSERT(mutex_owned(&mi->mi_lock));
ASSERT(mutex_owned(&rp->r_statev4_lock));
return (mutex_owned(entry->dbe_lock));
ASSERT(mutex_owned(&net->net_cnt_lock));
ASSERT(mutex_owned(&net->net_cnt_lock));
ASSERT(mutex_owned(&osp->os_sync_lock));
ASSERT(mutex_owned(&osp->os_sync_lock));
ASSERT(!mutex_owned(&VTOSO(vp)->so_lock));
ASSERT(mutex_owned(&so->so_lock));
ASSERT(mutex_owned(&so->so_lock));
ASSERT(mutex_owned(&csp->s_lock)); \
ASSERT(mutex_owned(&udf_ifree_lock));
ASSERT(mutex_owned(&udf_ifree_lock));
ASSERT(mutex_owned(&vp->v_vsd_lock));
ASSERT(mutex_owned(&vp->v_vsd_lock));
ASSERT(mutex_owned(&ilbs->ilbs_g_lock));
ASSERT(mutex_owned(&ilbs->ilbs_g_lock));
ASSERT(mutex_owned(&ilbs->ilbs_g_lock));
ASSERT(mutex_owned(&ilbs->ilbs_g_lock));
ASSERT(mutex_owned(&hash->sticky_lock));
ASSERT(mutex_owned(&hash->sticky_lock));
ASSERT(mutex_owned(&ips->ips_event_lock));
ASSERT(mutex_owned(&iptun->iptun_lock) ||
ASSERT(mutex_owned(&iptun->iptun_lock));
ASSERT(mutex_owned(&sqp->sq_lock));
ASSERT(mutex_owned(&sqp->sq_lock));
ASSERT(mutex_owned(&q->q_mutex));
ASSERT(mutex_owned(&lp->l_mutex));
ASSERT(mutex_owned(&lp->l_mutex));
ASSERT(mutex_owned(&lp->l_mutex));
ASSERT(mutex_owned(&afep->afe_intrlock));
ASSERT(mutex_owned(&afep->afe_xmtlock));
ASSERT(mutex_owned(&afep->afe_intrlock));
ASSERT(mutex_owned(&afep->afe_xmtlock));
ASSERT(mutex_owned(&afep->afe_intrlock));
ASSERT(mutex_owned(&afep->afe_xmtlock));
ASSERT(mutex_owned(&afep->afe_xmtlock));
ASSERT(mutex_owned(&afep->afe_intrlock));
ASSERT(mutex_owned(&afep->afe_xmtlock));
#define ARN_LOCK_ASSERT(_sc) ASSERT(mutex_owned(&(_sc)->sc_genlock))
ASSERT(mutex_owned(&asy->asy_excl));
ASSERT(mutex_owned(&asy->asy_excl_hi));
ASSERT(mutex_owned(&asy->asy_excl));
ASSERT(mutex_owned(&asy->asy_excl_hi));
ASSERT(mutex_owned(&asy->asy_excl_hi));
ASSERT(mutex_owned(&asy->asy_excl));
ASSERT(mutex_owned(&asy->asy_excl_hi));
ASSERT(mutex_owned(&asy->asy_excl));
ASSERT(mutex_owned(&asy->asy_excl_hi));
ASSERT(mutex_owned(&asy->asy_excl));
ASSERT(mutex_owned(&asy->asy_excl_hi));
ASSERT(mutex_owned(&asy->asy_excl));
ASSERT(mutex_owned(&asy->asy_excl_hi));
ASSERT(mutex_owned(&asy->asy_excl_hi));
ASSERT(mutex_owned(&asy->asy_excl_hi));
ASSERT(mutex_owned(&asy->asy_excl_hi));
ASSERT(mutex_owned(&asy->asy_excl_hi));
ASSERT(mutex_owned(&asy->asy_excl_hi));
ASSERT(mutex_owned(&asy->asy_excl));
ASSERT(mutex_owned(&asy->asy_excl_hi));
ASSERT(mutex_owned(&asy->asy_excl));
ASSERT(mutex_owned(&asy->asy_excl));
ASSERT(mutex_owned(&asy->asy_excl));
#define ATH_LOCK_ASSERT(_asc) ASSERT(mutex_owned(&(_asc)->asc_genlock))
ASSERT(!mutex_owned(&statep->lock));
ASSERT(mutex_owned(&devc->mutex));
ASSERT(mutex_owned(&devc->mutex));
ASSERT(mutex_owned(&devc->mutex));
ASSERT(mutex_owned(&devc->mutex));
ASSERT(mutex_owned(&dev->mutex));
ASSERT(mutex_owned(&dev->mutex));
ASSERT(mutex_owned(&dev->mutex));
ASSERT(mutex_owned(&dev->mutex));
ASSERT(mutex_owned(&d->d_ctrl_lock));
ASSERT(mutex_owned(&d->d_ctrl_lock));
ASSERT(mutex_owned(&e->e_lock));
ASSERT(mutex_owned(&e->e_lock));
ASSERT(mutex_owned(&e->e_lock));
ASSERT(mutex_owned(&sp->s_lock));
ASSERT(mutex_owned(&sp->s_lock));
ASSERT(mutex_owned(&eng->e_lock));
ASSERT(mutex_owned(&e->e_lock));
ASSERT(mutex_owned(&proc->p_dev->d_mx));
ASSERT(mutex_owned(&bfe->bfe_tx_ring.r_lock)); \
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(bge_log_mutex));
ASSERT(mutex_owned(bge_log_mutex));
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(srp->tc_lock));
ASSERT(mutex_owned(srp->tx_lock));
ASSERT(mutex_owned(srp->tx_lock));
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(bgep->genlock));
ASSERT(mutex_owned(rrp->rx_lock));
ASSERT(mutex_owned(srp->tc_lock));
ASSERT(mutex_owned(&ra_lock));
ASSERT(mutex_owned(&cbp->cb_mutex));
ASSERT(mutex_owned(CMLB_MUTEX(cl)));
ASSERT(mutex_owned(CMLB_MUTEX(cl)));
ASSERT(mutex_owned(CMLB_MUTEX(cl)));
ASSERT(mutex_owned(CMLB_MUTEX(cl)));
ASSERT(mutex_owned(CMLB_MUTEX(cl)));
ASSERT(mutex_owned(CMLB_MUTEX(cl)));
ASSERT(mutex_owned(CMLB_MUTEX(cl)));
ASSERT(mutex_owned(CMLB_MUTEX(cl)));
ASSERT(mutex_owned(CMLB_MUTEX(cl)));
ASSERT(mutex_owned(CMLB_MUTEX(cl)));
ASSERT(mutex_owned(CMLB_MUTEX(cl)));
ASSERT(mutex_owned(CMLB_MUTEX(cl)));
ASSERT(mutex_owned(CMLB_MUTEX(cl)));
ASSERT(mutex_owned(CMLB_MUTEX(cl)));
ASSERT(mutex_owned(CMLB_MUTEX(cl)));
ASSERT(!mutex_owned(CMLB_MUTEX(cl)));
ASSERT(mutex_owned(CMLB_MUTEX(cl)));
ASSERT(!mutex_owned(CMLB_MUTEX(cl)));
ASSERT(!mutex_owned(CMLB_MUTEX(cl)));
ASSERT(mutex_owned(CMLB_MUTEX(cl)));
ASSERT(mutex_owned(CMLB_MUTEX(cl)));
ASSERT(mutex_owned(CMLB_MUTEX(cl)));
ASSERT(mutex_owned(CMLB_MUTEX(cl)));
ASSERT(mutex_owned(&iport->iport_worker_lock));
ASSERT(!mutex_owned(&iport->iport_worker_lock));
ASSERT(mutex_owned(&iport->iport_worker_lock));
ASSERT(mutex_owned(&fct_global_mutex));
ASSERT(mutex_owned(&iscsit_isns_mutex));
ASSERT(mutex_owned(&iscsit_isns_mutex));
ASSERT(mutex_owned(&iscsit_isns_mutex));
ASSERT(! mutex_owned(&iscsit_isns_mutex));
ASSERT(mutex_owned(&lsm->icl_mutex));
ASSERT(mutex_owned(&tgt->target_mutex));
ASSERT(mutex_owned(&ps->ps_mutex));
ASSERT(mutex_owned(&pppt_global.global_lock));
ASSERT(mutex_owned(&tgt->target_mutex));
ASSERT(mutex_owned(&ps->ps_mutex));
ASSERT(mutex_owned(&ptask->pt_mutex));
ASSERT(mutex_owned(&pppt_global.global_lock));
ASSERT(mutex_owned(&pppt_global.global_lock));
ASSERT(mutex_owned(&iu->iu_lock));
ASSERT(mutex_owned(&iu->iu_lock));
ASSERT(mutex_owned(&iu->iu_lock));
ASSERT(mutex_owned(&iu->iu_lock));
ASSERT(mutex_owned(&stmf_state.stmf_lock));
ASSERT(mutex_owned(&stmf_state.stmf_lock));
ASSERT(mutex_owned(&stmf_state.stmf_lock));
ASSERT(mutex_owned(&stmf_state.stmf_lock));
ASSERT(mutex_owned(&stmf_state.stmf_lock));
ASSERT(mutex_owned(&stmf_state.stmf_lock));
ASSERT(mutex_owned(&stmf_state.stmf_lock));
ASSERT(mutex_owned(&stmf_state.stmf_lock));
ASSERT(mutex_owned(&stmf_state.stmf_lock));
ASSERT(mutex_owned(&stmf_state.stmf_lock));
ASSERT(mutex_owned(&stmf_state.stmf_lock));
ASSERT(mutex_owned(&stmf_state.stmf_lock));
ASSERT(mutex_owned(&stmf_state.stmf_lock));
ASSERT(mutex_owned(&stmf_state.stmf_lock));
ASSERT(mutex_owned(&stmf_state.stmf_lock));
ASSERT(mutex_owned(&stmf_state.stmf_lock));
ASSERT(mutex_owned(&stmf_state.stmf_lock));
ASSERT(mutex_owned(&stmf_state.stmf_lock));
ASSERT(mutex_owned(&stmf_state.stmf_lock));
ASSERT(mutex_owned(&stmf_state.stmf_lock));
ASSERT(mutex_owned(&stmf_state.stmf_lock));
ASSERT(mutex_owned(&stmf_state.stmf_lock));
ASSERT(mutex_owned(&stmf_state.stmf_lock));
ASSERT(mutex_owned(&stmf_state.stmf_lock));
ASSERT(mutex_owned(&stmf_state.stmf_lock));
ASSERT(mutex_owned(&stmf_state.stmf_lock));
ASSERT(mutex_owned(&stmf_state.stmf_lock));
ASSERT(mutex_owned(&stmf_state.stmf_lock));
ASSERT(mutex_owned(&stmf_state.stmf_lock));
ASSERT(mutex_owned(&stmf_state.stmf_lock));
ASSERT(mutex_owned(&stmf_state.stmf_lock));
ASSERT(mutex_owned(&itask->itask_mutex));
ASSERT(mutex_owned(&itask->itask_mutex));
ASSERT(mutex_owned(&itask->itask_mutex));
ASSERT(mutex_owned(&itask->itask_mutex));
ASSERT(mutex_owned(&stmf_state.stmf_lock));
ASSERT(!mutex_owned(&stmf_state.stmf_lock));
ASSERT(mutex_owned(&stmf_state.stmf_lock));
ASSERT(mutex_owned(&itask->itask_mutex));
ASSERT(mutex_owned(&itask->itask_mutex)); \
ASSERT(mutex_owned(&w->worker_lock)); \
ASSERT(mutex_owned(&w->worker_lock)); \
ASSERT(mutex_owned(&(cpudsp)->lock)); \
ASSERT(mutex_owned(&(cpudsp)->lock)); \
#define ADAPTER_LOCK_ASSERT_OWNED(sc) ASSERT(mutex_owned(&(sc)->lock))
#define ADAPTER_LOCK_ASSERT_NOTOWNED(sc) ASSERT(!mutex_owned(&(sc)->lock))
#define PORT_LOCK_ASSERT_OWNED(pi) ASSERT(mutex_owned(&(pi)->lock))
#define PORT_LOCK_ASSERT_NOTOWNED(pi) ASSERT(!mutex_owned(&(pi)->lock))
#define IQ_LOCK_ASSERT_OWNED(iq) ASSERT(mutex_owned(&(iq)->lock))
#define IQ_LOCK_ASSERT_NOTOWNED(iq) ASSERT(!mutex_owned(&(iq)->lock))
#define FL_LOCK_ASSERT_OWNED(fl) ASSERT(mutex_owned(&(fl)->lock))
#define FL_LOCK_ASSERT_NOTOWNED(fl) ASSERT(!mutex_owned(&(fl)->lock))
#define EQ_LOCK_ASSERT_OWNED(eq) ASSERT(mutex_owned(&(eq)->lock))
#define EQ_LOCK_ASSERT_NOTOWNED(eq) ASSERT(!mutex_owned(&(eq)->lock))
ASSERT(mutex_owned(&dnp->dn_lock));
#define DI_CACHE_LOCKED(c) (mutex_owned(&(c).cache_lock))
ASSERT(mutex_owned(prtdata.mutex));
ASSERT(mutex_owned(dmfep->oplock));
ASSERT(mutex_owned(dmfep->oplock));
ASSERT(mutex_owned(dmfep->oplock));
ASSERT(mutex_owned(dmfep->oplock));
ASSERT(mutex_owned(dmfep->rxlock));
ASSERT(mutex_owned(dmfep->txlock));
ASSERT(mutex_owned(dmfep->oplock));
ASSERT(mutex_owned(dmfep->oplock));
ASSERT(mutex_owned(dmfep->oplock));
ASSERT(mutex_owned(dmfep->oplock));
ASSERT(mutex_owned(dmfep->oplock));
ASSERT(mutex_owned(dmfep->oplock));
ASSERT(mutex_owned(dmfep->oplock));
ASSERT(mutex_owned(dmfep->rxlock));
ASSERT(mutex_owned(dmfep->txlock));
ASSERT(mutex_owned(dmfep->oplock));
ASSERT(mutex_owned(dmfep->oplock));
ASSERT(mutex_owned(dmfep->rxlock));
ASSERT(mutex_owned(dmfep->txlock));
ASSERT(mutex_owned(dmfep->txlock));
ASSERT(mutex_owned(dmfep->milock));
ASSERT(mutex_owned(dmfep->milock));
ASSERT(mutex_owned(dmfep->milock));
ASSERT(mutex_owned(&efep->efe_txlock));
ASSERT(mutex_owned(&efep->efe_intrlock));
ASSERT(mutex_owned(&efep->efe_txlock));
ASSERT(mutex_owned(&efep->efe_intrlock));
ASSERT(mutex_owned(&efep->efe_txlock));
ASSERT(mutex_owned(&efep->efe_intrlock));
ASSERT(mutex_owned(&efep->efe_txlock));
ASSERT(mutex_owned(&efep->efe_intrlock));
ASSERT(mutex_owned(&efep->efe_txlock));
ASSERT(mutex_owned(&efep->efe_intrlock));
ASSERT(mutex_owned(&efep->efe_intrlock));
ASSERT(mutex_owned(&efep->efe_txlock));
ASSERT(mutex_owned(&efep->efe_txlock));
ASSERT(mutex_owned(&efep->efe_intrlock));
ASSERT(mutex_owned(&efep->efe_txlock));
ASSERT(mutex_owned(&efep->efe_intrlock));
ASSERT(mutex_owned(&sc->ex_intrlock));
ASSERT(mutex_owned(&sc->ex_txlock));
ASSERT(mutex_owned(EMUL64_RESP_MUTEX(emul64)) == 0 || ddi_in_panic());
ASSERT(mutex_owned(EMUL64_REQ_MUTEX(emul64)) == 0 || ddi_in_panic());
ASSERT(mutex_owned(EMUL64_RESP_MUTEX(emul64)) == 0 || ddi_in_panic());
ASSERT(mutex_owned(EMUL64_REQ_MUTEX(emul64)) == 0 || ddi_in_panic());
ASSERT(mutex_owned(&tgt->emul64_tgt_blk_lock));
ASSERT(mutex_owned(&tgt->emul64_tgt_blk_lock));
ASSERT(mutex_owned(&tgt->emul64_tgt_blk_lock));
ASSERT(mutex_owned(&tgt->emul64_tgt_blk_lock));
ASSERT(mutex_owned(&qlge->mbx_mutex));
ASSERT(!mutex_owned(&tc->mutex));
ASSERT(!mutex_owned(&fptr->fcip_mutex));
ASSERT(mutex_owned(&fptr->fcip_rt_mutex));
ASSERT(mutex_owned(&fptr->fcip_mutex));
ASSERT(mutex_owned(&fdestp->fcipd_mutex));
ASSERT(mutex_owned(&fdestp->fcipd_mutex));
ASSERT(mutex_owned(&fptr->fcip_mutex));
ASSERT(mutex_owned(&fptr->fcip_mutex));
ASSERT(!mutex_owned(&fptr->fcip_mutex));
ASSERT(mutex_owned(&fptr->fcip_dest_mutex));
ASSERT(mutex_owned(&fptr->fcip_rt_mutex));
ASSERT(mutex_owned(&pptr->port_mutex));
ASSERT(mutex_owned(&pptr->port_mutex));
ASSERT(mutex_owned(&pptr->port_mutex));
ASSERT(mutex_owned(&plun->lun_tgt->tgt_mutex));
ASSERT(mutex_owned(&fcp_global_mutex));
ASSERT(mutex_owned(&fcp_global_mutex));
ASSERT(mutex_owned(&pptr->port_mutex));
ASSERT(mutex_owned(&pptr->port_mutex));
ASSERT(mutex_owned(&pptr->port_mutex));
ASSERT(mutex_owned(&ptgt->tgt_mutex));
ASSERT(mutex_owned(&ptgt->tgt_mutex));
ASSERT(mutex_owned(&pptr->port_mutex));
ASSERT(mutex_owned(&pptr->port_mutex));
ASSERT(mutex_owned(&pptr->port_mutex));
ASSERT(mutex_owned(&ptgt->tgt_mutex));
ASSERT(mutex_owned(&pptr->port_mutex));
ASSERT(mutex_owned(&ptgt->tgt_mutex));
ASSERT(mutex_owned(&pptr->port_mutex));
ASSERT(mutex_owned(&ptgt->tgt_mutex));
ASSERT(mutex_owned(&ptgt->tgt_port->port_mutex));
ASSERT(mutex_owned(&ptgt->tgt_mutex));
ASSERT(mutex_owned(&LUN_TGT->tgt_mutex));
ASSERT(mutex_owned(&LUN_TGT->tgt_mutex));
ASSERT(mutex_owned(&LUN_TGT->tgt_mutex));
ASSERT(mutex_owned(&pptr->port_mutex));
ASSERT(mutex_owned(&pptr->port_mutex));
ASSERT(mutex_owned(&gld_device_list.gld_devlock));
ASSERT(mutex_owned(&device->gld_devlock));
ASSERT(mutex_owned(GLD_SR_MUTEX(macinfo)));
ASSERT(mutex_owned(GLD_SR_MUTEX(macinfo)));
ASSERT(mutex_owned(GLD_SR_MUTEX(macinfo)));
ASSERT(mutex_owned(GLD_SR_MUTEX(macinfo)));
ASSERT(mutex_owned(GLD_SR_MUTEX(macinfo)));
ASSERT(mutex_owned(&hook_stack_lock));
ASSERT(mutex_owned(&dp->daplka_mutex));
ASSERT(mutex_owned(&dp->daplka_mutex));
ASSERT(mutex_owned(&state->id_ac_mutex));
ASSERT(mutex_owned(&state->id_ac_mutex));
ASSERT(mutex_owned(&state->id_ac_mutex));
ASSERT(mutex_owned(&chan->ic_conn->ic_lock));
ASSERT(mutex_owned(&idt->idt_mutex));
ASSERT(mutex_owned(&idt->idt_mutex));
ASSERT(mutex_owned(&ep->ep_lock));
ASSERT(mutex_owned(&rs->rs_lock));
ASSERT(mutex_owned(&ibnex.ibnex_mutex));
ASSERT(mutex_owned(&ibnex.ibnex_mutex));
ASSERT(mutex_owned(&ibnex.ibnex_mutex));
ASSERT(mutex_owned(&ibnex.ibnex_mutex));
ASSERT(mutex_owned(&gid_info->gl_mutex));
ASSERT(mutex_owned(&ibdm.ibdm_hl_mutex));
ASSERT(mutex_owned(&ibdma->ms_hca_list_lock));
ASSERT(mutex_owned(&ibdma->ms_hca_list_lock));
ASSERT(mutex_owned(&ibdma->ms_hca_list_lock));
ASSERT(mutex_owned(&ibdma->ms_hca_list_lock));
ASSERT(mutex_owned(&idt->idt_mutex));
ASSERT(mutex_owned(&idt->idt_mutex));
ASSERT(mutex_owned(&idt->idt_mutex));
ASSERT(!mutex_owned(&ic->ic_state_mutex));
ASSERT(mutex_owned(&ic->ic_state_mutex));
ASSERT(mutex_owned(&ic->ic_state_mutex));
ASSERT(mutex_owned(&ic->ic_state_mutex));
ASSERT(mutex_owned(&idm.idm_global_mutex));
ASSERT(mutex_owned(&idt->idt_mutex));
ASSERT(mutex_owned(&idt->idt_mutex));
ASSERT(mutex_owned(&idt->idt_mutex));
ASSERT(mutex_owned(&idt->idt_mutex));
ASSERT(mutex_owned(&igb->gen_lock));
ASSERT(mutex_owned(&igb->gen_lock));
ASSERT(mutex_owned(&igb->gen_lock));
ASSERT(mutex_owned(&igb->gen_lock));
ASSERT(mutex_owned(&igb->gen_lock));
ASSERT(mutex_owned(&rx_ring->rx_lock));
ASSERT(mutex_owned(&igb->gen_lock));
ASSERT(mutex_owned(&tx_ring->tx_lock));
ASSERT(mutex_owned(&igb->gen_lock));
ASSERT(mutex_owned(&igb->gen_lock));
ASSERT(mutex_owned(&igb->gen_lock));
ASSERT(mutex_owned(&igb->gen_lock));
ASSERT(mutex_owned(&igb->gen_lock));
ASSERT(mutex_owned(&igb->gen_lock));
ASSERT(mutex_owned(&igb->gen_lock));
ASSERT(mutex_owned(&igb->gen_lock));
ASSERT(mutex_owned(&igb->gen_lock));
ASSERT(mutex_owned(&tx_ring->tx_lock));
ASSERT(mutex_owned(&ip->culock));
ASSERT(mutex_owned(&ip->culock));
ASSERT(mutex_owned(&ip->rulock));
ASSERT(mutex_owned(&ip->culock));
ASSERT(mutex_owned(&ip->culock));
ASSERT(mutex_owned(&ip->culock));
ASSERT(mutex_owned(&ip->culock));
ASSERT(mutex_owned(&ip->culock));
ASSERT(mutex_owned(&ip->rulock));
ASSERT(mutex_owned(&ip->culock));
ASSERT(mutex_owned(&sc->sc_glock));
ASSERT(mutex_owned(&sc->sc_glock));
ASSERT(mutex_owned(&sc->sc_mtx));
ASSERT(mutex_owned(&sc->sc_mtx));
ASSERT(mutex_owned(&sc->sc_mtx));
ASSERT(mutex_owned(&sc->sc_mtx));
ASSERT(mutex_owned(&sc->sc_mtx));
ASSERT(mutex_owned(&sc->sc_glock));
ASSERT(mutex_owned(&ixgbe->gen_lock));
ASSERT(mutex_owned(&ixgbe->gen_lock));
ASSERT(mutex_owned(&ixgbe->gen_lock));
ASSERT(mutex_owned(&ixgbe->gen_lock));
ASSERT(mutex_owned(&rx_ring->rx_lock));
ASSERT(mutex_owned(&ixgbe->gen_lock));
ASSERT(mutex_owned(&tx_ring->tx_lock));
ASSERT(mutex_owned(&ixgbe->gen_lock));
ASSERT(mutex_owned(&ixgbe->gen_lock));
ASSERT(mutex_owned(&ixgbe->gen_lock));
ASSERT(mutex_owned(&ixgbe->gen_lock));
ASSERT(mutex_owned(&ixgbe->gen_lock));
ASSERT(mutex_owned(&ixgbe->gen_lock));
ASSERT(mutex_owned(&ixgbe->gen_lock));
ASSERT(mutex_owned(&ixgbe->gen_lock));
ASSERT(mutex_owned(&tx_ring->tx_lock));
if (!mutex_owned(&so->so_lock)) {
if (!mutex_owned(&so->so_lock)) {
ASSERT(mutex_owned(&mac_srs->srs_lock));
ASSERT(mutex_owned(&ringp->s_ring_lock));
ASSERT(mutex_owned(&ringp->s_ring_lock));
ASSERT(mutex_owned(&instance->cmd_pool_mtx));
ASSERT(mutex_owned(&instance->cmd_pool_mtx));
ASSERT(mutex_owned(&ph->phy_mii->m_lock));
ASSERT(mutex_owned(&ph->phy_mii->m_lock));
ASSERT(mutex_owned(&ph->phy_mii->m_lock));
ASSERT(mutex_owned(&ph->phy_mii->m_lock));
ASSERT(mutex_owned(&mh->m_lock));
ASSERT(mutex_owned(&mh->m_lock));
ASSERT(mutex_owned(&mh->m_lock));
ASSERT(mutex_owned(&g->mlg_mtx));
ASSERT(mutex_owned(&g->mlg_mtx));
ASSERT(mutex_owned(&g->mlg_mtx));
ASSERT(mutex_owned(&port->mlp_mtx));
ASSERT(mutex_owned(&group->mlg_mtx));
ASSERT(mutex_owned(&port->mlp_mtx));
ASSERT(mutex_owned(&group->mlg_mtx));
ASSERT(mutex_owned(&port->mlp_mtx));
ASSERT(mutex_owned(&group->mlg_mtx));
ASSERT(mutex_owned(&ft->mlft_mtx));
ASSERT(mutex_owned(&ft->mlft_mtx));
ASSERT(mutex_owned(&mlp->mlp_mtx));
ASSERT(mutex_owned(&mlp->mlp_mtx));
ASSERT(mutex_owned(&mlp->mlp_mtx));
ASSERT(mutex_owned(&mlp->mlp_mtx));
ASSERT(mutex_owned(&mlp->mlp_mtx));
ASSERT(mutex_owned(&mlp->mlp_mtx));
ASSERT(mutex_owned(&mlp->mlp_mtx));
ASSERT(mutex_owned(&mlp->mlp_mtx));
ASSERT(mutex_owned(&mlp->mlp_mtx));
ASSERT(mutex_owned(&mlp->mlp_mtx));
ASSERT(mutex_owned(&mleq->mleq_mtx));
ASSERT(mutex_owned(&mleq->mleq_mtx));
ASSERT(mutex_owned(&mlcq->mlcq_mtx));
ASSERT(mutex_owned(&mlcq->mlcq_mtx));
ASSERT(mutex_owned(&mlwq->mlwq_mtx));
ASSERT(mutex_owned(&mlwq->mlwq_mtx));
ASSERT(mutex_owned(&mlwq->mlwq_cq->mlcq_mtx));
ASSERT(mutex_owned(&mlwq->mlwq_mtx));
ASSERT(mutex_owned(&mlwq->mlwq_mtx));
ASSERT(mutex_owned(&mlft->mlft_mtx));
ASSERT(mutex_owned(&mlft->mlft_mtx));
ASSERT(mutex_owned(&mlft->mlft_mtx));
ASSERT(mutex_owned(&mlft->mlft_mtx));
ASSERT(mutex_owned(&mlft->mlft_mtx));
ASSERT(mutex_owned(&mlft->mlft_mtx));
ASSERT(mutex_owned(&mlft->mlft_mtx));
ASSERT(mutex_owned(&mlwq->mlwq_mtx));
ASSERT(mutex_owned(&mlwq->mlwq_mtx));
ASSERT(mutex_owned(&mlwq->mlwq_cq->mlcq_mtx));
ASSERT(mutex_owned(&mlwq->mlwq_mtx));
ASSERT(mutex_owned(&mlwq->mlwq_mtx));
ASSERT(mutex_owned(&port->mlp_mtx));
ASSERT(mutex_owned(&port->mlp_mtx));
ASSERT(mutex_owned(&mlcq->mlcq_mtx));
ASSERT(mutex_owned(&mleq->mleq_mtx) || servicing_interrupt());
ASSERT(mutex_owned(&mlcq->mlcq_mtx));
ASSERT(mutex_owned(&mlcq->mlcq_arm_mtx));
ASSERT(mutex_owned(&mlcq->mlcq_mtx));
ASSERT(mutex_owned(&mlwq->mlwq_mtx));
ASSERT(mutex_owned(&mlwq->mlwq_mtx));
ASSERT(mutex_owned(&mlwq->mlwq_mtx));
ASSERT(mutex_owned(&mlwq->mlwq_mtx));
ASSERT(mutex_owned(&cq->mlcq_mtx));
ASSERT(mutex_owned(&mlwq->mlwq_mtx));
ASSERT(mutex_owned(&cq->mlcq_mtx));
ASSERT(mutex_owned(&mlcq->mlcq_mtx));
ASSERT(mutex_owned(&mlcq->mlcq_mtx));
ASSERT(mutex_owned(&s->mlbs_mtx));
ASSERT(mutex_owned(&instance->cmd_pool_mtx));
ASSERT(mutex_owned(&instance->cmd_app_pool_mtx));
ASSERT(mutex_owned(&instance->cmd_pool_mtx));
ASSERT(mutex_owned(&instance->cmd_app_pool_mtx));
ASSERT(mutex_owned(&mxfep->mxfe_intrlock));
ASSERT(mutex_owned(&mxfep->mxfe_xmtlock));
ASSERT(mutex_owned(&mxfep->mxfe_intrlock));
ASSERT(mutex_owned(&mxfep->mxfe_xmtlock));
ASSERT(mutex_owned(&mxfep->mxfe_intrlock));
ASSERT(mutex_owned(&mxfep->mxfe_xmtlock));
ASSERT(mutex_owned(&mxfep->mxfe_xmtlock));
ASSERT(mutex_owned(&mxfep->mxfe_xmtlock));
ASSERT(mutex_owned(&mxfep->mxfe_intrlock));
ASSERT(mutex_owned(&mxfep->mxfe_xmtlock));
mutex_owned(&(_ic)->ic_genlock)
ASSERT(mutex_owned(&(_ic)->ic_genlock))
mutex_owned(&(_nt)->nt_nodelock)
ASSERT(mutex_owned(&(_nt)->nt_nodelock))
ASSERT(mutex_owned(&neti_stack_lock));
ASSERT(mutex_owned(&neti_stack_lock));
ASSERT(mutex_owned(&neti_stack_lock));
ASSERT(mutex_owned(&neti_stack_lock));
ASSERT(mutex_owned(&neti_stack_lock));
ASSERT(mutex_owned(&neti_stack_lock));
ASSERT(mutex_owned(&neti_stack_lock));
ASSERT(mutex_owned(ngep->genlock));
ASSERT(mutex_owned(ngep->genlock));
ASSERT(mutex_owned(ngep->genlock));
ASSERT(mutex_owned(ngep->genlock));
ASSERT(mutex_owned(nge_log_mutex));
ASSERT(mutex_owned(nge_log_mutex));
ASSERT(mutex_owned(ngep->genlock));
ASSERT(mutex_owned(ngep->genlock));
ASSERT(mutex_owned(ngep->genlock));
ASSERT(mutex_owned(&qp->nq_mutex));
ASSERT(mutex_owned(&cmd->nc_mutex));
ASSERT(mutex_owned(&cq->ncq_mutex));
ASSERT(mutex_owned(&cmd->nc_mutex));
ASSERT(mutex_owned(&pcnp->pcn_intrlock));
ASSERT(mutex_owned(&pcnp->pcn_xmtlock));
ASSERT(mutex_owned(&pcnp->pcn_intrlock));
ASSERT(mutex_owned(&pcnp->pcn_xmtlock));
ASSERT(mutex_owned(&pcnp->pcn_xmtlock));
if (mutex_owned(page_vnode_mutex(vp))) {
ASSERT(mutex_owned(&ptms_lock));
ASSERT(mutex_owned(&qede->drv_lock));
ASSERT(mutex_owned(&qede->drv_lock));
ASSERT(mutex_owned(&qede->drv_lock));
ASSERT(mutex_owned(&rd_lock));
ASSERT(mutex_owned(&rd_lock));
ASSERT(mutex_owned(&rd_lock));
ASSERT(mutex_owned(&rd_lock));
ASSERT(mutex_owned(&rd_lock));
ASSERT(mutex_owned(&rd_lock));
ASSERT(mutex_owned(&rd_lock));
ASSERT(mutex_owned(rgep->genlock));
ASSERT(mutex_owned(rgep->genlock));
ASSERT(mutex_owned(rgep->genlock));
ASSERT(mutex_owned(rgep->genlock));
ASSERT(mutex_owned(rgep->genlock));
ASSERT(mutex_owned(rge_log_mutex));
ASSERT(mutex_owned(rge_log_mutex));
ASSERT(mutex_owned(rgep->genlock));
ASSERT(mutex_owned(rgep->genlock));
ASSERT(mutex_owned(rgep->genlock));
ASSERT(mutex_owned(rgep->genlock));
ASSERT(mutex_owned(rgep->genlock));
ASSERT(mutex_owned(rgep->rx_lock));
ASSERT(mutex_owned(&nvp->nvp_mutex));
ASSERT(mutex_owned(&nvp->nvp_mutex));
ASSERT(mutex_owned(&nvp->nvp_mutex));
ASSERT(mutex_owned(&si_portp->siport_mutex));
ASSERT(mutex_owned(&cportinfo->cport_mutex));
ASSERT(mutex_owned(&pmportinfo->pmport_mutex));
ASSERT(mutex_owned(&SATA_CPORT_MUTEX(sata_hba_inst, cport)));
ASSERT(mutex_owned(&ap->a_mutex));
ASSERT(!mutex_owned(&isp->sess_cmdsn_mutex));
ASSERT(!mutex_owned(&isp->sess_cmdsn_mutex));
ASSERT(mutex_owned(&icmdp->cmd_conn->conn_queue_active.mutex));
ASSERT(mutex_owned(&isp->sess_queue_pending.mutex));
ASSERT(!mutex_owned(&isp->sess_queue_pending.mutex));
ASSERT(mutex_owned(&icmdp->cmd_conn->conn_queue_active.mutex));
ASSERT(mutex_owned(&isp->sess_queue_pending.mutex));
ASSERT(mutex_owned(&isp->sess_queue_pending.mutex));
ASSERT(mutex_owned(&icp->conn_queue_active.mutex));
ASSERT(!mutex_owned(&isp->sess_cmdsn_mutex));
ASSERT(mutex_owned(&icp->conn_state_mutex));
ASSERT(mutex_owned(&icp->conn_state_mutex));
if (mutex_owned(&icp->conn_queue_active.mutex)) {
ASSERT(mutex_owned(&isp->sess_cmdsn_mutex));
ASSERT(mutex_owned(&isp->sess_cmdsn_mutex));
ASSERT(!mutex_owned(
ASSERT(!mutex_owned(&isp->sess_queue_pending.mutex));
ASSERT(mutex_owned(&isp->sess_cmdsn_mutex));
ASSERT(mutex_owned(&icp->conn_state_mutex));
ASSERT(mutex_owned(&icp->conn_login_mutex));
ASSERT(mutex_owned(&isp->sess_queue_pending.mutex));
ASSERT(mutex_owned(&icp->conn_queue_active.mutex));
ASSERT(mutex_owned(&icp->conn_queue_idm_aborting.mutex));
ASSERT(mutex_owned(&icp->conn_queue_idm_aborting.mutex));
ASSERT(mutex_owned(&isp->sess_queue_pending.mutex));
ASSERT(mutex_owned(&chap_data_lock));
ASSERT(mutex_owned(&auth_data_lock));
ASSERT(mutex_owned(&static_addr_data_lock));
ASSERT(mutex_owned(&static_addr_data_lock));
ASSERT(mutex_owned(&isns_addr_data_lock));
ASSERT(mutex_owned(&disc_addr_data_lock));
ASSERT(mutex_owned(¶m_data_lock));
ASSERT(mutex_owned(&mpt->mpt_lock));
ASSERT(mutex_owned(&mpt->mpt_lock));
ASSERT(mutex_owned(&mpt->mpt_lock));
ASSERT(mutex_owned(&mfi->mfi_lock));
ASSERT(mutex_owned(&mpt->mpt_lock));
ASSERT(mutex_owned(&mfi->mfi_lock));
ASSERT(mutex_owned(&mfi->mfi_lock));
ASSERT(mutex_owned(&mfi->mfi_lock));
ASSERT(mutex_owned(&cmd->mfi_lock));
ASSERT(mutex_owned(&mfi_to_abort->mfi_lock));
ASSERT(mutex_owned(&mfi_to_abort->mfi_lock));
ASSERT(mutex_owned(&tgt->tgt_mpt_active_lock));
ASSERT(mutex_owned(&tgt->tgt_mpt_active_lock));
ASSERT(mutex_owned(&mpt->mpt_lock));
ASSERT(!mutex_owned(&mpt->mpt_lock));
ASSERT(mutex_owned(&mfi->mfi_lock));
ASSERT(mutex_owned(&mfi->mfi_lock));
ASSERT(mutex_owned(&mfi->mfi_lock));
ASSERT(mutex_owned(&mpt->mpt_lock));
ASSERT(mutex_owned(&tgt->tgt_mpt_active_lock));
ASSERT(mutex_owned(&mpt->mpt_lock));
ASSERT(mutex_owned(&mpt->mpt_lock));
ASSERT(mutex_owned(&mpt->mpt_lock));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_tx_waitq_mutex));
ASSERT(mutex_owned(&item->mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&mpt->m_mutex));
ASSERT(mutex_owned(&pwp->lock));
ASSERT(mutex_owned(&iport->lock));
ASSERT(mutex_owned(&phyp->phy_lock));
ASSERT(mutex_owned(&tgt->statlock));
ASSERT(mutex_owned(&phyp->phy_lock));
ASSERT(mutex_owned(&xp->statlock));
ASSERT(mutex_owned(&phyp->phy_lock));
ASSERT(mutex_owned(&xp->statlock));
ASSERT(mutex_owned(&phyp->phy_lock));
ASSERT((tgt == NULL) || mutex_owned(&tgt->statlock));
ASSERT(!mutex_owned(&pwp->lock));
ASSERT(mutex_owned(&pwp->lock));
ASSERT(mutex_owned(&pwp->axil_lock));
ASSERT(mutex_owned(&phy->phy_lock));
ASSERT(mutex_owned(&phyp->phy_lock));
ASSERT(mutex_owned(&xp->statlock));
ASSERT(mutex_owned(&iport->lock));
ASSERT(mutex_owned(&iport->lock));
ASSERT(mutex_owned(&pwp->lock));
ASSERT(mutex_owned(&iport->lock));
ASSERT(mutex_owned(&iport->lock));
ASSERT(mutex_owned(&pptr->phy_lock));
ASSERT(mutex_owned(&pptr->phy_lock));
ASSERT(mutex_owned(&pwp->lock));
ASSERT(mutex_owned(&pptr->phy_lock));
ASSERT(mutex_owned(&p->lock));
ASSERT(!mutex_owned(&phyp->phy_lock));
ASSERT(mutex_owned(&matched_phy->phy_lock));
ASSERT(mutex_owned(&matched_phy->phy_lock));
ASSERT(mutex_owned(&phyp->phy_lock));
ASSERT(mutex_owned(&pwp->lock));
ASSERT(mutex_owned(&xp->statlock));
ASSERT(mutex_owned(&pwp->lock));
ASSERT(mutex_owned(&pptr->phy_lock));
ASSERT(!mutex_owned(&phyp->phy_lock));
ASSERT(mutex_owned(&phyp->phy_lock));
ASSERT(mutex_owned(&iport->lock));
ASSERT(mutex_owned(&iport->lock));
ASSERT(mutex_owned(&phyp->phy_lock));
ASSERT(mutex_owned(&phyp->target->statlock));
ASSERT(mutex_owned(&iport->lock));
ASSERT(!mutex_owned(&phyp->phy_lock));
ASSERT(mutex_owned(&pvs->lock));
ASSERT(mutex_owned(&pvs->lock));
ASSERT(mutex_owned(&pvs->lock));
ASSERT(mutex_owned(&scsi_log_mutex));
ASSERT(mutex_owned(&scsi_log_mutex));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(&un->un_pm_mutex));
ASSERT(!mutex_owned(&un->un_pm_mutex));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(&un->un_pm_mutex));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(&un->un_pm_mutex));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(&un->un_pm_mutex));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(&un->un_pm_mutex));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(&un->un_pm_mutex));
ASSERT(!mutex_owned(SD_MUTEX(un)));
ASSERT(!mutex_owned(&xap->xa_mutex));
ASSERT(!mutex_owned(&xap->xa_reserve_mutex));
ASSERT(!mutex_owned(&xap->xa_mutex));
ASSERT(!mutex_owned(&xap->xa_reserve_mutex));
ASSERT(!mutex_owned(&xap->xa_mutex));
ASSERT(!mutex_owned(&xap->xa_reserve_mutex));
ASSERT(mutex_owned(&xap->xa_mutex));
ASSERT(!mutex_owned(&xap->xa_mutex));
ASSERT(!mutex_owned(&xap->xa_mutex));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX) == 0);
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(ST_MUTEX));
ASSERT(mutex_owned(&dp->xmitlock));
ASSERT(mutex_owned(&dp->intrlock));
ASSERT(mutex_owned(&dp->intrlock));
ASSERT(mutex_owned(&dp->intrlock));
ASSERT(mutex_owned(&dp->intrlock));
ASSERT(mutex_owned(&dp->intrlock));
ASSERT(!mutex_owned(&dp->xmitlock));
ASSERT(mutex_owned(&dp->intrlock));
if (mutex_owned(&dp->intrlock)) {
ASSERT(mutex_owned(&dp->intrlock));
ASSERT(mutex_owned(&dp->intrlock));
ASSERT(mutex_owned(&dp->intrlock));
ASSERT(mutex_owned(&dp->intrlock));
ASSERT(mutex_owned(&(sp->s_state_lock)));
ASSERT(mutex_owned(&(sp->s_state_lock)));
ASSERT(mutex_owned(&(sep->se_lock)));
ASSERT(mutex_owned(&(sep->se_lock)));
ASSERT(mutex_owned(&(sep->se_lock)));
ASSERT(mutex_owned(&(sep->se_lock)));
ASSERT(mutex_owned(&(sep->se_lock)));
ASSERT(mutex_owned(&(sep->se_lock)));
ASSERT(mutex_owned(&(sep->se_lock)));
ASSERT(mutex_owned(&(sep->se_lock)));
ASSERT(mutex_owned(&(sep->se_lock)));
ASSERT(mutex_owned(&(smp->sm_lock)));
ASSERT(mutex_owned(&(smp->sm_lock)));
ASSERT(mutex_owned(&(smp->sm_lock)));
ASSERT(mutex_owned(&(smp->sm_lock)));
ASSERT(mutex_owned(&(smp->sm_lock)));
ASSERT(mutex_owned(&(smp->sm_lock)));
ASSERT(mutex_owned(&(smp->sm_lock)));
ASSERT(mutex_owned(&(smp->sm_lock)));
ASSERT(mutex_owned(&(smp->sm_lock)));
ASSERT(mutex_owned(&(sep->se_lock)));
ASSERT(mutex_owned(&(sep->se_lock)));
ASSERT(mutex_owned(&(sep->se_lock)));
ASSERT(mutex_owned(&(sep->se_lock)));
ASSERT(mutex_owned(&(sep->se_lock)));
ASSERT(mutex_owned(&(sep->se_lock)));
ASSERT(mutex_owned(&(sp->s_state_lock)));
ASSERT(mutex_owned(&(srsp->srs_lock)));
ASSERT(mutex_owned(&(sp->s_state_lock)));
ASSERT(mutex_owned(&(sep->se_lock)));
ASSERT(mutex_owned(&(sep->se_lock)));
ASSERT(mutex_owned(&(sep->se_lock)));
ASSERT(mutex_owned(&(sep->se_lock)));
ASSERT(mutex_owned(&(stp->st_lock)));
ASSERT(mutex_owned(&(stp->st_lock)));
ASSERT(mutex_owned(&(stp->st_lock)));
ASSERT(mutex_owned(&stp->st_lock));
ASSERT(mutex_owned(&(stp->st_lock)));
ASSERT(mutex_owned(&(stp->st_lock)));
ASSERT(mutex_owned(&(stp->st_lock)));
ASSERT(mutex_owned(&(sep->se_lock)));
ASSERT(mutex_owned(&(sep->se_lock)));
ASSERT(mutex_owned(&(sp->s_sep[stp->st_evq]->se_lock)));
ASSERT(mutex_owned(&(sp->s_state_lock)));
ASSERT(mutex_owned(&(sp->s_tx_flush_lock)));
ASSERT(mutex_owned(&(sp->s_state_lock)));
ASSERT(mutex_owned(&(stp->st_lock)));
ASSERT(mutex_owned(&(stp->st_lock)));
ASSERT(mutex_owned(&(stp->st_lock)));
ASSERT(mutex_owned(&(stp->st_lock)));
ASSERT(mutex_owned(&(stp->st_lock)));
ASSERT(mutex_owned(&(stp->st_lock)));
ASSERT(mutex_owned(&srn_clone_lock));
ASSERT(mutex_owned(&tpm->dev_lock));
ASSERT(mutex_owned(&tpm->iobuf_lock));
ASSERT(tpm->iobuf_inuse == 1 && mutex_owned(&tpm->iobuf_lock));
ASSERT(mutex_owned(&uacp->usb_ac_mutex));
ASSERT(mutex_owned(&uacp->usb_ac_mutex));
ASSERT(!mutex_owned(&usb_ac_statep->usb_ac_mutex));
ASSERT(!mutex_owned(&usb_ac_statep->usb_ac_mutex));
ASSERT(mutex_owned(&uacp->usb_ac_mutex));
ASSERT(mutex_owned(&uacp->usb_ac_mutex));
ASSERT(mutex_owned(&uacp->usb_ac_mutex));
ASSERT(mutex_owned(&uasp->usb_as_mutex));
ASSERT(mutex_owned(&uasp->usb_as_mutex));
ASSERT(mutex_owned(&uasp->usb_as_mutex));
ASSERT(mutex_owned(&uasp->usb_as_mutex));
ASSERT(mutex_owned(&uasp->usb_as_mutex));
ASSERT(mutex_owned(&uasp->usb_as_mutex));
ASSERT(!mutex_owned(&usb_as_statep->usb_as_mutex));
ASSERT(!mutex_owned(&usb_as_statep->usb_as_mutex));
ASSERT(mutex_owned(&uasp->usb_as_mutex));
ASSERT(mutex_owned(&uasp->usb_as_mutex));
ASSERT(mutex_owned(&uasp->usb_as_mutex));
ASSERT(mutex_owned(&uasp->usb_as_mutex));
ASSERT(mutex_owned(&uasp->usb_as_mutex));
ASSERT(!mutex_owned(&hid_statep->hid_mutex));
ASSERT(!mutex_owned(&hid_statep->hid_mutex));
ASSERT(!(mutex_owned(&usbprnp->usbprn_mutex)));
ASSERT(!(mutex_owned(&usbprnp->usbprn_mutex)));
ASSERT(!(mutex_owned(&usbprnp->usbprn_mutex)));
ASSERT(!(mutex_owned(&usbprnp->usbprn_mutex)));
ASSERT(!(mutex_owned(&usbprnp->usbprn_mutex)));
ASSERT(!(mutex_owned(&usbprnp->usbprn_mutex)));
ASSERT(!(mutex_owned(&usbprnp->usbprn_mutex)));
ASSERT(!(mutex_owned(&usbprnp->usbprn_mutex)));
ASSERT(!(mutex_owned(&usbprnp->usbprn_mutex)));
ASSERT(!(mutex_owned(&usbprnp->usbprn_mutex)));
ASSERT(mutex_owned(&usbprnp->usbprn_mutex));
ASSERT(!mutex_owned(&usbprnp->usbprn_mutex));
ASSERT(!mutex_owned(&usbprn_statep->usbprn_mutex));
ASSERT(!mutex_owned(&usbprn_statep->usbprn_mutex));
ASSERT(!mutex_owned(&usbprnp->usbprn_mutex));
ASSERT(!mutex_owned(&usbprnp->usbprn_mutex));
ASSERT(!mutex_owned(&usbprnp->usbprn_mutex));
ASSERT(mutex_owned(&ecmp->ecm_mutex));
ASSERT(mutex_owned(&ecmp->ecm_mutex));
ASSERT(mutex_owned(&ecmp->ecm_mutex));
ASSERT(!mutex_owned(&ecmp->ecm_mutex));
ASSERT(mutex_owned(&uf->uf_lock));
ASSERT(mutex_owned(&uf->uf_lock));
ASSERT(!mutex_owned(&uf->uf_lock));
ASSERT(!mutex_owned(&uf->uf_lock));
ASSERT(mutex_owned(&pp->port_mutex));
ASSERT(mutex_owned(&pp->port_mutex));
ASSERT(mutex_owned(&thr->thr_port->port_mutex));
ASSERT(mutex_owned(&pp->port_mutex));
ASSERT(mutex_owned(&pp->port_mutex));
ASSERT(mutex_owned(&pp->port_mutex));
ASSERT(!mutex_owned(&kp->kp_mutex));
ASSERT(!mutex_owned(&kp->kp_mutex));
ASSERT(!mutex_owned(&ksp->ks_mutex));
ASSERT(mutex_owned(&kp->kp_mutex));
ASSERT(mutex_owned(&kp->kp_mutex));
ASSERT(mutex_owned(&kp->kp_mutex));
ASSERT(mutex_owned(&kp->kp_mutex));
ASSERT(mutex_owned(&kp->kp_mutex));
ASSERT(mutex_owned(&kp->kp_mutex));
ASSERT(mutex_owned(&kp->kp_mutex));
ASSERT(mutex_owned(&kp->kp_mutex));
ASSERT(mutex_owned(&kp->kp_mutex));
ASSERT(mutex_owned(&kp->kp_mutex));
ASSERT(!mutex_owned(&kp->kp_mutex));
ASSERT(mutex_owned(&kp->kp_mutex));
ASSERT(!mutex_owned(&bulkin->pipe_mutex));
ASSERT(!mutex_owned(&bulkin->pipe_mutex));
ASSERT(!mutex_owned(&bulkout->pipe_mutex));
ASSERT(!mutex_owned(&introut->pipe_mutex));
ASSERT(mutex_owned(&plp->pl_mutex));
ASSERT(mutex_owned(&plp->pl_mutex));
ASSERT(!mutex_owned(&plp->pl_mutex));
ASSERT(mutex_owned(&usbskelp->usbskel_mutex));
ASSERT(!mutex_owned(&usbskelp->usbskel_mutex));
ASSERT(mutex_owned(&usbskelp->usbskel_mutex));
ASSERT(mutex_owned(&usbskelp->usbskel_mutex));
ASSERT(!mutex_owned(&usbskelp->usbskel_mutex));
ASSERT(mutex_owned(&usbvcp->usbvc_mutex));
ASSERT(mutex_owned(&usbvcp->usbvc_mutex));
ASSERT(mutex_owned(&usbvcp->usbvc_mutex));
ASSERT(mutex_owned(&usbvcp->usbvc_mutex));
ASSERT(mutex_owned(&usbvcp->usbvc_mutex));
ASSERT(mutex_owned(&usbvcp->usbvc_mutex));
ASSERT(mutex_owned(&usbvcp->usbvc_mutex));
ASSERT(mutex_owned(&usbvcp->usbvc_mutex));
ASSERT(mutex_owned(&usbvcp->usbvc_mutex));
ASSERT(mutex_owned(&usbvcp->usbvc_mutex));
ASSERT(mutex_owned(&usbvcp->usbvc_mutex));
ASSERT(mutex_owned(&usbvcp->usbvc_mutex));
ASSERT(mutex_owned(&usbvcp->usbvc_mutex));
ASSERT(mutex_owned(&usbvcp->usbvc_mutex));
ASSERT(mutex_owned(&usbvcp->usbvc_mutex));
ASSERT(mutex_owned(&usbvcp->usbvc_mutex));
ASSERT(mutex_owned(&usbvcp->usbvc_mutex));
ASSERT(mutex_owned(&usbvcp->usbvc_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ehcip->ehci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&ohcip->ohci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
ASSERT(mutex_owned(&uhcip->uhci_int_mutex));
if (mutex_owned(&xhcip->xhci_lock)) {
ASSERT(mutex_owned(&xhcip->xhci_lock));
ASSERT(mutex_owned(&scsa2usbp->scsa2usb_mutex));
ASSERT(mutex_owned(&scsa2usbp->scsa2usb_mutex));
ASSERT(mutex_owned(&scsa2usbp->scsa2usb_mutex));
ASSERT(mutex_owned(&scsa2usbp->scsa2usb_mutex));
ASSERT(mutex_owned(&scsa2usbp->scsa2usb_mutex));
ASSERT(mutex_owned(&scsa2usbp->scsa2usb_mutex));
ASSERT(mutex_owned(&scsa2usbp->scsa2usb_mutex));
ASSERT(mutex_owned(&scsa2usbp->scsa2usb_mutex));
ASSERT(mutex_owned(&scsa2usbp->scsa2usb_mutex));
ASSERT(mutex_owned(&scsa2usbp->scsa2usb_mutex));
ASSERT(mutex_owned(&scsa2usbp->scsa2usb_mutex));
ASSERT(mutex_owned(&scsa2usbp->scsa2usb_mutex));
ASSERT(mutex_owned(&scsa2usbp->scsa2usb_mutex));
ASSERT(mutex_owned(&scsa2usbp->scsa2usb_mutex));
ASSERT(mutex_owned(&scsa2usbp->scsa2usb_mutex));
ASSERT(mutex_owned(&scsa2usbp->scsa2usb_mutex));
ASSERT(mutex_owned(&scsa2usbp->scsa2usb_mutex));
ASSERT(mutex_owned(&scsa2usbp->scsa2usb_mutex));
ASSERT(mutex_owned(&scsa2usbp->scsa2usb_mutex));
ASSERT(mutex_owned(&scsa2usbp->scsa2usb_mutex));
ASSERT(mutex_owned(&scsa2usbp->scsa2usb_mutex));
ASSERT(mutex_owned(&scsa2usbp->scsa2usb_mutex));
ASSERT(mutex_owned(&scsa2usbp->scsa2usb_mutex));
ASSERT(mutex_owned(&scsa2usbp->scsa2usb_mutex));
ASSERT(!mutex_owned(&scsa2usbp->scsa2usb_mutex));
ASSERT(mutex_owned(&scsa2usbp->scsa2usb_mutex));
ASSERT(mutex_owned(&scsa2usbp->scsa2usb_mutex));
ASSERT(mutex_owned(&scsa2usbp->scsa2usb_mutex));
ASSERT(mutex_owned(&scsa2usbp->scsa2usb_mutex));
ASSERT(mutex_owned(&scsa2usbp->scsa2usb_mutex));
ASSERT(mutex_owned(&scsa2usbp->scsa2usb_mutex));
ASSERT(mutex_owned(&scsa2usbp->scsa2usb_mutex));
ASSERT(mutex_owned(&scsa2usbp->scsa2usb_mutex));
ASSERT(mutex_owned(&scsa2usbp->scsa2usb_mutex));
ASSERT(mutex_owned(&scsa2usbp->scsa2usb_mutex));
ASSERT(mutex_owned(&scsa2usbp->scsa2usb_mutex));
ASSERT(mutex_owned(HUBD_MUTEX(hubd)));
ASSERT(mutex_owned(HUBD_MUTEX(hubd)));
ASSERT(mutex_owned(HUBD_MUTEX(hubd)));
ASSERT(mutex_owned(HUBD_MUTEX(hubd)));
ASSERT(mutex_owned(HUBD_MUTEX(hubd)));
ASSERT(mutex_owned(HUBD_MUTEX(hubd)));
ASSERT(mutex_owned(HUBD_MUTEX(hubd)));
ASSERT(mutex_owned(HUBD_MUTEX(hubd)));
ASSERT(mutex_owned(HUBD_MUTEX(hubd)));
ASSERT(mutex_owned(HUBD_MUTEX(hubd)));
ASSERT(mutex_owned(HUBD_MUTEX(hubd)));
ASSERT(mutex_owned(HUBD_MUTEX(hubd)));
ASSERT(mutex_owned(HUBD_MUTEX(hubd)));
ASSERT(mutex_owned(HUBD_MUTEX(hubd)));
ASSERT(mutex_owned(HUBD_MUTEX(hubd)));
ASSERT(mutex_owned(HUBD_MUTEX(hubd)));
ASSERT(mutex_owned(HUBD_MUTEX(hubd)));
ASSERT(mutex_owned(HUBD_MUTEX(hubd)));
ASSERT(mutex_owned(HUBD_MUTEX(hubd)));
ASSERT(mutex_owned(HUBD_MUTEX(hubd)));
ASSERT(mutex_owned(HUBD_MUTEX(hubd)));
ASSERT(mutex_owned(HUBD_MUTEX(hubd)));
ASSERT(!mutex_owned(&(usba_get_usba_device(child_dip)->usb_mutex)));
ASSERT(!mutex_owned(&(usba_get_usba_device(child_dip)->usb_mutex)));
ASSERT(!mutex_owned(&(usba_get_usba_device(child_dip)->usb_mutex)));
ASSERT(!mutex_owned(&epp->ep_mutex)); /* not owned */
ASSERT(!mutex_owned(&ugen_statep->ug_mutex));
ASSERT(!mutex_owned(&ugen_statep->ug_mutex));
ASSERT(mutex_owned(&ph_data->p_mutex));
ASSERT(mutex_owned(&ph_data->p_mutex));
ASSERT(mutex_owned(&ph_data->p_mutex));
ASSERT(mutex_owned(&vrp->tx.lock));
ASSERT(mutex_owned(&vrp->oplock));
ASSERT(mutex_owned(&vrp->oplock));
ASSERT(mutex_owned(&vrp->oplock));
ASSERT(mutex_owned(&vrp->oplock));
ASSERT(mutex_owned(prtdata.mutex));
ASSERT(mutex_owned(prtdata.mutex));
ASSERT(mutex_owned(&sc->sc_glock));
xge_assert(mutex_owned(&bf_pool->pool_lock));
xge_assert(mutex_owned(&bf_pool->pool_lock));
xge_assert(!mutex_owned(&bf_pool->pool_lock));
ASSERT(mutex_owned(&dev->d_rxlock));
ASSERT(mutex_owned(&hostp->nh_lock));
ASSERT(mutex_owned(&mapp->dam_lock));
ASSERT(mutex_owned(&mapp->dam_lock));
ASSERT(mutex_owned(&mapp->dam_lock));
ASSERT(mutex_owned(&mapp->dam_lock));
ASSERT(mutex_owned(&mapp->dam_lock));
ASSERT(mutex_owned(&mapp->dam_lock));
ASSERT(mutex_owned(&mapp->dam_lock));
ASSERT(mutex_owned(&nvpflush_lock));
ASSERT(mutex_owned(&dnp->dn_lock));
ASSERT(mutex_owned(&dnp->dn_lock));
ASSERT(mutex_owned(&(dnp->dn_lock)));
ASSERT(mutex_owned(&cache->cache_lock));
ASSERT(mutex_owned(&devid_discovery_mutex));
if (mutex_owned(&pidlock) || mutex_owned(&curproc->p_lock) ||
mutex_owned(&curproc->p_crlock)) {
ASSERT(mutex_owned(&mhp->mh_mutex));
ASSERT(mutex_owned(&dnp->dn_lock));
ASSERT(mutex_owned(&hcl_lock));
owned = mutex_owned(&p->p_lock); /* this is filthy */
owned = mutex_owned(&p->p_lock); /* this is filthy */
owned = mutex_owned(&p->p_lock); /* this is filthy */
ASSERT(mutex_owned(&stp->sd_lock));
ASSERT(mutex_owned(&stp->sd_lock));
ASSERT(mutex_owned(&handle->ndi_evthdl_mutex));
ASSERT(mutex_owned(&ndi_event_hdl->ndi_evthdl_mutex));
ASSERT(mutex_owned(&ndi_event_hdl->ndi_evthdl_cb_mutex));
ASSERT(mutex_owned(&hdl->ndi_evthdl_mutex));
ASSERT(mutex_owned(&zone->zone_lock));
ASSERT(mutex_owned(&ctx_mutex));
ASSERT(mutex_owned(&ctx_mutex));
ASSERT(mutex_owned(&ctx_mutex));
ASSERT(mutex_owned(&ctx_mutex));
ASSERT(mutex_owned(&DEVI(dip)->devi_lock)); \
ASSERT(mutex_owned(&DEVI(dip)->devi_lock)); \
ASSERT(mutex_owned(&DEVI(dip)->devi_lock)); \
ASSERT(mutex_owned(&DEVI(dip)->devi_lock)); \
ASSERT(mutex_owned(&DEVI(dip)->devi_lock)); \
ASSERT(mutex_owned(&DEVI(dip)->devi_lock)); \
ASSERT(mutex_owned(&DEVI(dip)->devi_lock)); \
ASSERT(mutex_owned(&DEVI(dip)->devi_lock)); \
ASSERT(mutex_owned(&DEVI(dip)->devi_lock)); \
ASSERT(mutex_owned(&DEVI(dip)->devi_lock)); \
ASSERT(mutex_owned(&DEVI(dip)->devi_lock)); \
ASSERT(mutex_owned(&DEVI(dip)->devi_lock)); \
ASSERT(mutex_owned(&DEVI(dip)->devi_lock)); \
ASSERT(mutex_owned(&DEVI(dip)->devi_lock)); \
ASSERT(mutex_owned(&DEVI(dip)->devi_lock)); \
ASSERT(mutex_owned(&DEVI(dip)->devi_lock)); \
ASSERT(mutex_owned(&DEVI(dip)->devi_lock)); \
ASSERT(mutex_owned(&DEVI(dip)->devi_lock)); \
ASSERT(mutex_owned(&DEVI(dip)->devi_lock)); \
ASSERT(mutex_owned(&DEVI(dip)->devi_lock)); \
ASSERT(mutex_owned(&DEVI(dip)->devi_lock)); \
ASSERT(mutex_owned(&DEVI(dip)->devi_lock)); \
ASSERT(mutex_owned(&DEVI(dip)->devi_lock)); \
ASSERT(mutex_owned(&DEVI(dip)->devi_lock)); \
ASSERT(mutex_owned(&DEVI(dip)->devi_lock)); \
ASSERT(mutex_owned(&DEVI(dip)->devi_lock)); \
ASSERT(mutex_owned(&DEVI(dip)->devi_lock)); \
ASSERT(mutex_owned(&DEVI(dip)->devi_lock)); \
ASSERT(mutex_owned(&DEVI(dip)->devi_lock)); \
ASSERT(mutex_owned(&DEVI(dip)->devi_lock)); \
#define PM_IAM_LOCKING_DIP(dip) (mutex_owned(&DEVI(dip)->devi_pm_lock))
#define MUTEX_HELD(x) (mutex_owned(x))
#define MUTEX_NOT_HELD(x) (!mutex_owned(x) || panicstr || quiesce_active)
extern int mutex_owned(const kmutex_t *);
ASSERT(!mutex_owned(&pwp->config_lock)); \
ASSERT(mutex_owned(&pwp->config_lock)); \
ASSERT(mutex_owned(&(hwp)->iqp_lock[qnum])); \
ASSERT(mutex_owned(SD_MUTEX(un))); \
ASSERT(mutex_owned(SD_MUTEX(un))); \
ASSERT(mutex_owned(&(vp)->v_lock)); \
ASSERT(mutex_owned(&(vp)->v_lock)); \
ASSERT(mutex_owned(&pcp->pc_lock) == 0);
if (!mutex_owned(&pcp->pc_lock)) {
ASSERT(mutex_owned(&svntr_hashtab[hash].tr_lock));
if (mutex_owned(page_vnode_mutex(&retired_pages))) {
if (pp->p_vnode != NULL && mutex_owned(page_vnode_mutex(pp->p_vnode))) {
ASSERT(mutex_owned(&xcp->excl));
ASSERT(mutex_owned(&xcp->excl));
ASSERT(mutex_owned(&xcp->excl));
ASSERT(mutex_owned(&pdp->xd_ndi_lk));
ASSERT(mutex_owned(&pdp->xd_ndi_lk));
ASSERT(mutex_owned(&pdp->xd_ndi_lk));
ASSERT(mutex_owned(&pdp->xd_ndi_lk));
ASSERT(mutex_owned(&pdp->xd_ndi_lk));
if (poll_lock != NULL && !mutex_owned(poll_lock)) {
ASSERT(mutex_owned(&acpi_drv_mutex));
ASSERT(mutex_owned(&acpi_drv_mutex));
ASSERT(mutex_owned(&hpet_proxy_lock));
ASSERT(mutex_owned(&dkp->dk_mutex));
ASSERT(mutex_owned(&dkp->dk_mutex));
ASSERT(mutex_owned(&cccp->ccc_doneq_mutex));
ASSERT(mutex_owned(hba_mutexp));
ASSERT(mutex_owned(&cccp->ccc_hba_mutex));
ASSERT(!mutex_owned(&cccp->ccc_waitq_mutex));
ASSERT(mutex_owned(&cccp->ccc_hba_mutex));
ASSERT(!mutex_owned(&cccp->ccc_waitq_mutex));
ASSERT(mutex_owned(&cccp->ccc_hba_mutex));
ASSERT(!mutex_owned(&cccp->ccc_hba_mutex));
ASSERT(!mutex_owned(&cccp->ccc_waitq_mutex));
ASSERT(!mutex_owned(&cccp->ccc_hba_mutex));
ASSERT(!mutex_owned(&cccp->ccc_waitq_mutex));
ASSERT(mutex_owned(&cccp->ccc_hba_mutex));
ASSERT(mutex_owned(&cccp->ccc_hba_mutex));
ASSERT(mutex_owned(&cccp->ccc_hba_mutex));
ASSERT(mutex_owned(&cccp->ccc_hba_mutex));
ASSERT(mutex_owned(&cccp->ccc_hba_mutex));
ASSERT(mutex_owned(&cccp->ccc_hba_mutex));
ASSERT(mutex_owned(&cccp->ccc_hba_mutex));
ASSERT(mutex_owned(&cccp->ccc_hba_mutex));
ASSERT(mutex_owned(&cccp->ccc_waitq_mutex));
ASSERT(mutex_owned(&cccp->ccc_hba_mutex));
ASSERT(mutex_owned(&cccp->ccc_hba_mutex));
ASSERT(mutex_owned(&cccp->ccc_waitq_mutex));
ASSERT(mutex_owned(&cccp->ccc_hba_mutex));
ASSERT(mutex_owned(&cccp->ccc_waitq_mutex));
ASSERT(mutex_owned(&cccp->ccc_hba_mutex));
ASSERT(mutex_owned(&cccp->ccc_waitq_mutex));
ASSERT(mutex_owned(&pp->umutex));
ASSERT(mutex_owned(&pp->umutex));
ASSERT(mutex_owned(&pp->umutex));
ASSERT(mutex_owned(&pp->umutex));
ASSERT(mutex_owned(&pp->umutex));
ASSERT(mutex_owned(&pp->umutex));
if (mutex_owned(&acb->isr_mutex)) {
if (mutex_owned(&acb->
ASSERT(mutex_owned(&dp->intrLock));
(mutex_owned(&hmebp->hmehash_mutex))
ASSERT(mutex_owned(&state->cs_lock));
ASSERT(mutex_owned(&state->cs_lock));
ASSERT(!mutex_owned(&state->cs_lock));
ASSERT(!mutex_owned(&state->cs_lock));
ASSERT(!mutex_owned(&state->cs_lock));
ASSERT(mutex_owned(&state->cs_lock));
ASSERT(mutex_owned(&state->cs_lock));
ASSERT(mutex_owned(&state->cs_lock));
ASSERT(mutex_owned(DCD_MUTEX));
ASSERT(mutex_owned(DCD_MUTEX));
ASSERT(mutex_owned(DCD_MUTEX));
ASSERT(mutex_owned(DCD_MUTEX)); \
ASSERT(mutex_owned(DCD_MUTEX));
ASSERT(mutex_owned(DCD_MUTEX));
ASSERT(mutex_owned(DCD_MUTEX));
ASSERT(!mutex_owned(&fdc->c_lolock));
ASSERT(mutex_owned(&fdc->c_lolock));
ASSERT(mutex_owned(&fdc->c_lolock));
ASSERT(mutex_owned(&fdc->c_lolock));
ASSERT(mutex_owned(&fdc->c_lolock));
ASSERT(mutex_owned(FAS_MUTEX(fas)));
ASSERT(mutex_owned(&fas->f_waitQ_mutex));
ASSERT(mutex_owned(FAS_MUTEX(fas)));
ASSERT(mutex_owned(FAS_MUTEX(fas)));
ASSERT(mutex_owned(FAS_MUTEX(fas)));
ASSERT(mutex_owned(FAS_MUTEX(fas)));
ASSERT(mutex_owned(FAS_MUTEX(fas)));
ASSERT(mutex_owned(FAS_MUTEX(fas)));
ASSERT(mutex_owned(FAS_MUTEX(fas)));
ASSERT(mutex_owned(FAS_MUTEX(fas)));
ASSERT(mutex_owned(FAS_MUTEX(fas)));
ASSERT(mutex_owned(FAS_MUTEX(fas)));
ASSERT(mutex_owned(zs->zs_excl_hi));
ASSERT(mutex_owned(zs->zs_excl));
ASSERT(mutex_owned(zs->zs_excl));
ASSERT(mutex_owned(zs->zs_excl_hi));
ASSERT(mutex_owned(asy->asy_excl));
ASSERT(mutex_owned(asy->asy_excl_hi));
ASSERT(mutex_owned(asy->asy_excl));
ASSERT(mutex_owned(asy->asy_excl_hi));
ASSERT(mutex_owned(asy->asy_excl));
ASSERT(mutex_owned(asy->asy_excl_hi));
ASSERT(mutex_owned(asy->asy_excl_hi));
ASSERT(mutex_owned(asy->asy_excl));
ASSERT(mutex_owned(asy->asy_excl_hi));
ASSERT(mutex_owned(asy->asy_excl_hi));
ASSERT(mutex_owned(&smbus->smbus_imutex));
ASSERT(mutex_owned(&isadmap->isadma_access_lock));
ASSERT(mutex_owned(&isadmap->isadma_access_lock));
ASSERT(mutex_owned(&memscrub_lock));
ASSERT(mutex_owned(&memscrub_lock));
ASSERT(mutex_owned(&memscrub_lock));
ASSERT(mutex_owned(&chosen_lock));
mutex_owned(SGHSC_MUTEX(sghsc))
mutex_owned(SGHSC_SLOT_MUTEX(sghsc, slot_num));
ASSERT(mutex_owned(&mstr->lock));
ASSERT(mutex_owned(&softsp->ps_fail_lock));
ASSERT(mutex_owned(&ldcp->lock));
ASSERT(mutex_owned(&ldcp->lock));
ASSERT(mutex_owned(&ldcp->lock));
ASSERT(mutex_owned(&vport->lock));
ASSERT(!mutex_owned(&vport->lock));
ASSERT(mutex_owned(&vport->lock));
ASSERT(mutex_owned(&vport->lock));
ASSERT(mutex_owned(&vport->lock));
ASSERT(mutex_owned(&vport->lock));
ASSERT(mutex_owned(&vport->lock));
ASSERT(mutex_owned(&vdc->lock));
ASSERT(mutex_owned(&vdc->lock));
ASSERT(mutex_owned(&vdc->lock));
ASSERT(mutex_owned(&vdc->lock));
ASSERT(mutex_owned(&vdc->lock));
ASSERT(mutex_owned(&vdc->lock));
ASSERT(mutex_owned(&vdc->lock));
ASSERT(mutex_owned(&vdcp->lock));
ASSERT(mutex_owned(&vdc->lock));
ASSERT(mutex_owned(&vdc->lock));
ASSERT(mutex_owned(&vdc->lock));
ASSERT(mutex_owned(&vdc->lock));
if (mutex_owned(&ldcp->wrlock)) {
if (mutex_owned(&ldcp->txlock)) {
if (mutex_owned(&ldcp->wrlock)) {
if (mutex_owned(&dp->restart_lock)) {
if (mutex_owned(&dp->txlock)) {
if (mutex_owned(&dp->restart_lock)) {