MUTEX_ASSERT_LOCKED
MUTEX_ASSERT_LOCKED(&pg->mdpage.pvh_mtx);
MUTEX_ASSERT_LOCKED(&pmap->pm_mtx);
MUTEX_ASSERT_LOCKED(&(pmap)->pm_mtx);
MUTEX_ASSERT_LOCKED(&pmap_asid_mtx);
MUTEX_ASSERT_LOCKED(&pmap_asid_mtx);
MUTEX_ASSERT_LOCKED(&sc->v3.sc_cmdq_mtx);
MUTEX_ASSERT_LOCKED(&zynq_slcr_lock);
MUTEX_ASSERT_LOCKED(mtx);
MUTEX_ASSERT_LOCKED(mtx);
MUTEX_ASSERT_LOCKED(&pg->mdpage.pv_mtx);
MUTEX_ASSERT_LOCKED(&pg->mdpage.pv_mtx);
MUTEX_ASSERT_LOCKED(&(pm)->pm_mtx); \
MUTEX_ASSERT_LOCKED(&sc->sc_intr_mtx);
MUTEX_ASSERT_LOCKED(&pm->pm_mtx); \
MUTEX_ASSERT_LOCKED(&pm->pm_mtx); \
MUTEX_ASSERT_LOCKED(&pg->mdpage.pvmtx);
MUTEX_ASSERT_LOCKED(&audio_lock);
MUTEX_ASSERT_LOCKED(&audio_lock);
MUTEX_ASSERT_LOCKED(&audio_lock);
MUTEX_ASSERT_LOCKED(&audio_lock);
MUTEX_ASSERT_LOCKED(&audio_lock);
MUTEX_ASSERT_LOCKED(&audio_lock);
MUTEX_ASSERT_LOCKED(&audio_lock);
MUTEX_ASSERT_LOCKED(&sc->psp_lock);
MUTEX_ASSERT_LOCKED(&kcov_mtx);
MUTEX_ASSERT_LOCKED(&kcov_mtx);
MUTEX_ASSERT_LOCKED(&kcov_mtx);
MUTEX_ASSERT_LOCKED(&kcov_mtx);
MUTEX_ASSERT_LOCKED(&kcov_mtx);
MUTEX_ASSERT_LOCKED(&kcov_mtx);
MUTEX_ASSERT_LOCKED(&kcov_mtx);
MUTEX_ASSERT_LOCKED(&kcov_mtx);
MUTEX_ASSERT_LOCKED(&audio_lock);
MUTEX_ASSERT_LOCKED(&audio_lock);
MUTEX_ASSERT_LOCKED(&dev->event_lock);
#define assert_spin_locked(mtxp) MUTEX_ASSERT_LOCKED(mtxp)
#define BNXT_HWRM_LOCK_ASSERT(_sc) MUTEX_ASSERT_LOCKED(&_sc->sc_lock)
MUTEX_ASSERT_LOCKED(&ring->mtx);
MUTEX_ASSERT_LOCKED(&vioq->viq_rxmtx);
MUTEX_ASSERT_LOCKED(&vioq->viq_rxmtx);
MUTEX_ASSERT_LOCKED(&vioq->viq_txmtx);
MUTEX_ASSERT_LOCKED(&hsotg->lock);
MUTEX_ASSERT_LOCKED(&hsotg->lock);
MUTEX_ASSERT_LOCKED(&hsotg->lock);
MUTEX_ASSERT_LOCKED(&sc->sc_mtx);
MUTEX_ASSERT_LOCKED(&sc->sc_mtx);
MUTEX_ASSERT_LOCKED(&sc->sc_mtx);
MUTEX_ASSERT_LOCKED(&sc->sc_mtx);
MUTEX_ASSERT_LOCKED(&sc->sc_mtx);
MUTEX_ASSERT_LOCKED(&ev->ws_mtx);
MUTEX_ASSERT_LOCKED(&cq->cq_mtx);
MUTEX_ASSERT_LOCKED(&cq->cq_mtx);
MUTEX_ASSERT_LOCKED(&cq->cq_mtx);
MUTEX_ASSERT_LOCKED(&cq->cq_mtx);
MUTEX_ASSERT_LOCKED(&cq->cq_mtx);
MUTEX_ASSERT_LOCKED(&cq->cq_mtx);
MUTEX_ASSERT_LOCKED(&kq->kq_lock);
MUTEX_ASSERT_LOCKED(&kq->kq_lock);
MUTEX_ASSERT_LOCKED(&kq->kq_lock);
MUTEX_ASSERT_LOCKED(&kq->kq_lock);
MUTEX_ASSERT_LOCKED(&kq->kq_lock);
MUTEX_ASSERT_LOCKED(&kq->kq_lock);
MUTEX_ASSERT_LOCKED(&kn->kn_kq->kq_lock);
MUTEX_ASSERT_LOCKED(&kn->kn_kq->kq_lock);
MUTEX_ASSERT_LOCKED(&kq->kq_lock);
MUTEX_ASSERT_LOCKED(&kq->kq_lock);
MUTEX_ASSERT_LOCKED(&kq->kq_lock);
MUTEX_ASSERT_LOCKED(&kq->kq_lock);
MUTEX_ASSERT_LOCKED(&kq->kq_lock);
MUTEX_ASSERT_LOCKED(mtx);
MUTEX_ASSERT_LOCKED(&kq->kq_lock);
MUTEX_ASSERT_LOCKED(&ft->ft_mtx);
MUTEX_ASSERT_LOCKED(&ft->ft_mtx);
MUTEX_ASSERT_LOCKED(&pr->ps_mtx);
MUTEX_ASSERT_LOCKED(&child->ps_mtx);
MUTEX_ASSERT_LOCKED(mtx);
MUTEX_ASSERT_LOCKED(&pr->ps_mtx);
MUTEX_ASSERT_LOCKED(&pr->ps_mtx);
MUTEX_ASSERT_LOCKED(&pr->ps_mtx);
MUTEX_ASSERT_LOCKED(&p->p_p->ps_mtx);
MUTEX_ASSERT_LOCKED(&pr->ps_mtx);
MUTEX_ASSERT_LOCKED(&pr->ps_mtx);
MUTEX_ASSERT_LOCKED(&pr->ps_mtx);
MUTEX_ASSERT_LOCKED(&sigio_lock);
MUTEX_ASSERT_LOCKED(&pr->ps_mtx);
MUTEX_ASSERT_LOCKED(&windup_mtx);
MUTEX_ASSERT_LOCKED(&windup_mtx);
MUTEX_ASSERT_LOCKED(&windup_mtx);
MUTEX_ASSERT_LOCKED(&timeout_mutex);
MUTEX_ASSERT_LOCKED(&lock->prl_mtx);
MUTEX_ASSERT_LOCKED(&kprintf_mutex);
MUTEX_ASSERT_LOCKED(&w_mtx);
MUTEX_ASSERT_LOCKED(&w_mtx);
MUTEX_ASSERT_LOCKED(&w_mtx);
MUTEX_ASSERT_LOCKED(&w_mtx);
MUTEX_ASSERT_LOCKED(&w_mtx);
MUTEX_ASSERT_LOCKED(&w_mtx);
MUTEX_ASSERT_LOCKED(&w_mtx);
MUTEX_ASSERT_LOCKED(&so->so_rcv.sb_mtx);
MUTEX_ASSERT_LOCKED(&so->so_snd.sb_mtx);
MUTEX_ASSERT_LOCKED(&so->so_rcv.sb_mtx);
MUTEX_ASSERT_LOCKED(&sb->sb_mtx);
MUTEX_ASSERT_LOCKED(&sb->sb_mtx);
MUTEX_ASSERT_LOCKED(&so->so_rcv.sb_mtx);
MUTEX_ASSERT_LOCKED(&so->so_snd.sb_mtx);
MUTEX_ASSERT_LOCKED(&so->so_rcv.sb_mtx);
MUTEX_ASSERT_LOCKED(&d->bd_mtx);
MUTEX_ASSERT_LOCKED(&d->bd_mtx);
MUTEX_ASSERT_LOCKED(&d->bd_mtx);
MUTEX_ASSERT_LOCKED(&d->bd_mtx);
MUTEX_ASSERT_LOCKED(&d->bd_mtx);
MUTEX_ASSERT_LOCKED(&d->bd_mtx);
MUTEX_ASSERT_LOCKED(&d->bd_mtx); \
MUTEX_ASSERT_LOCKED(&d->bd_mtx);
MUTEX_ASSERT_LOCKED(&d->bd_mtx);
MUTEX_ASSERT_LOCKED(&ifmedia_mtx);
MUTEX_ASSERT_LOCKED(&sc->sc_mtx);
MUTEX_ASSERT_LOCKED(&sc->sc_mtx);
MUTEX_ASSERT_LOCKED(&sc->sc_mtx);
MUTEX_ASSERT_LOCKED(&sc->sc_mtx);
MUTEX_ASSERT_LOCKED(&sc->sc_mtx);
MUTEX_ASSERT_LOCKED(&sc->sc_mtx);
MUTEX_ASSERT_LOCKED(&sc->sc_mtx);
MUTEX_ASSERT_LOCKED(&s->s_mtx);
MUTEX_ASSERT_LOCKED(&s->s_mtx);
MUTEX_ASSERT_LOCKED(&s->s_mtx);
MUTEX_ASSERT_LOCKED(&s->s_mtx);
MUTEX_ASSERT_LOCKED(&s->s_mtx);
MUTEX_ASSERT_LOCKED(&sc->sc_mtx);
MUTEX_ASSERT_LOCKED(&pxd->pxd_mtx);
MUTEX_ASSERT_LOCKED(&sc->sc_mtx);
MUTEX_ASSERT_LOCKED(&sc->sc_mtx);
MUTEX_ASSERT_LOCKED(&ifq->ifq_mtx);
MUTEX_ASSERT_LOCKED(&ifq->ifq_mtx);
MUTEX_ASSERT_LOCKED(&ifq->ifq_mtx);
MUTEX_ASSERT_LOCKED(&session->pxs_mtx);
MUTEX_ASSERT_LOCKED(&pipex_list_mtx);
MUTEX_ASSERT_LOCKED(&pipex_list_mtx);
MUTEX_ASSERT_LOCKED(&pipex_list_mtx);
MUTEX_ASSERT_LOCKED(&pipex_list_mtx);
MUTEX_ASSERT_LOCKED(&rttimer_mtx);
MUTEX_ASSERT_LOCKED(&rtlabel_mtx);
MUTEX_ASSERT_LOCKED(&arp_mtx);
MUTEX_ASSERT_LOCKED(&igmp_mtx);
MUTEX_ASSERT_LOCKED(&table->inpt_mtx);
MUTEX_ASSERT_LOCKED(&table->inpt_mtx);
MUTEX_ASSERT_LOCKED(&table->inpt_mtx);
MUTEX_ASSERT_LOCKED(&table->inpt_mtx);
MUTEX_ASSERT_LOCKED(&table->inpt_mtx);
MUTEX_ASSERT_LOCKED(&table->inpt_mtx);
MUTEX_ASSERT_LOCKED(&table->inpt_mtx);
MUTEX_ASSERT_LOCKED(&table->inpt_mtx);
MUTEX_ASSERT_LOCKED(&ipq_mutex);
MUTEX_ASSERT_LOCKED(&ipq_mutex);
MUTEX_ASSERT_LOCKED(&ipq_mutex);
MUTEX_ASSERT_LOCKED(&tdb_sadb_mtx);
MUTEX_ASSERT_LOCKED(&tdb_sadb_mtx);
MUTEX_ASSERT_LOCKED(&tdb_sadb_mtx);
MUTEX_ASSERT_LOCKED(&tdb_sadb_mtx);
MUTEX_ASSERT_LOCKED(&ipsec_acquire_mtx);
MUTEX_ASSERT_LOCKED(&syn_cache_mtx);
MUTEX_ASSERT_LOCKED(&syn_cache_mtx);
MUTEX_ASSERT_LOCKED(&syn_cache_mtx);
MUTEX_ASSERT_LOCKED(&frag6_mutex);
MUTEX_ASSERT_LOCKED(&table->inpt_mtx);
MUTEX_ASSERT_LOCKED(&table->inpt_mtx);
MUTEX_ASSERT_LOCKED(&nd6_mtx);
#define SCHED_ASSERT_LOCKED() MUTEX_ASSERT_LOCKED(&sched_lock)
MUTEX_ASSERT_LOCKED(&(_map)->mtx); \
MUTEX_ASSERT_LOCKED(&map->mtx);
MUTEX_ASSERT_LOCKED(&map->mtx);
MUTEX_ASSERT_LOCKED(&map->mtx);
MUTEX_ASSERT_LOCKED(&map->mtx);
MUTEX_ASSERT_LOCKED(&uvm.pageqlock);
MUTEX_ASSERT_LOCKED(&uvm.pageqlock);
MUTEX_ASSERT_LOCKED(&uvm.pageqlock);
MUTEX_ASSERT_LOCKED(&uvm_swap_data_lock);
MUTEX_ASSERT_LOCKED(&uvm_swap_data_lock);
MUTEX_ASSERT_LOCKED(&uvm_swap_data_lock);
MUTEX_ASSERT_LOCKED(&uvm_swap_data_lock);
MUTEX_ASSERT_LOCKED(&uvm_swap_data_lock);