lockowned
KKASSERT(lockowned(lock));
KKASSERT(!lockowned(lock));
KKASSERT(lockowned(lock));
#define MMC_ASSERT_LOCKED(_sc) KKASSERT(lockowned(&(_sc)->sc_lock));
#define MMC_ASSERT_UNLOCKED(_sc) KKASSERT(!lockowned(&(_sc)->sc_lock));
#define AMDSMB_LOCK_ASSERT(amdsmb) KKASSERT(lockowned(&(amdsmb)->lock))
KKASSERT(lockowned(&sc->mutex));
lockowned(ch->pcm_lock) != 0) {
lockowned(ch->pcm_lock) != 0) {
if (lockowned(lock)) {
if (lockowned(lock)) {
if(!lockowned(&kbd->kb_lock)) {
KKASSERT(lockowned(&sc->sc_lock));
locked = lockowned(&sc->sc_lock);
locked = lockowned(&sc->sc_lock);
locked = lockowned(&sc->sc_lock);
#define AUE_LOCK_ASSERT(_sc) KKASSERT(lockowned(&(_sc)->sc_lock))
locked = lockowned(&sc->sc_lock);
locked = lockowned(&sc->sc_lock);
locked = lockowned(&sc->sc_lock);
#define AXE_LOCK_ASSERT(_sc) KKASSERT(lockowned(&(_sc)->sc_lock))
locked = lockowned(&sc->sc_lock);
locked = lockowned(&sc->sc_lock);
locked = lockowned(&sc->sc_lock);
#define AXGE_LOCK_ASSERT(_sc) KKASSERT(lockowned(&(_sc)->sc_lock))
#define CDCE_LOCK_ASSERT(_sc, t) KKASSERT(lockowned(&(_sc)->sc_lock))
#define CUE_LOCK_ASSERT(_sc) KKASSERT(lockowned(&(_sc)->sc_lock))
#define IPHETH_LOCK_ASSERT(_sc) KKASSERT(lockowned(&(_sc)->sc_lock))
#define KUE_LOCK_ASSERT(_sc) KKASSERT(lockowned(&(_sc)->sc_lock))
locked = lockowned(&sc->sc_lock);
locked = lockowned(&sc->sc_lock);
locked = lockowned(&sc->sc_lock);
#define MOS_LOCK_ASSERT(_sc) KKASSERT(lockowned(&(_sc)->sc_lock))
locked = lockowned(&sc->sc_lock);
locked = lockowned(&sc->sc_lock);
#define UDAV_LOCK_ASSERT(_sc) KKASSERT(lockowned(&(_sc)->sc_lock))
#define URNDIS_LOCK_ASSERT(sc) KKASSERT(lockowned(&(sc)->sc_lock))
KKASSERT(!lockowned(ue->ue_lock));
KKASSERT(!lockowned(ue->ue_lock));
KKASSERT(!lockowned(ue->ue_lock));
KKASSERT(!lockowned(ue->ue_lock));
#define UE_LOCK_ASSERT(_ue) KKASSERT(lockowned((_ue)->ue_lock))
KKASSERT(lockowned(&usb_quirk_lock));
KKASSERT(lockowned(&sc->sc_lock));
if (lockowned(sc->sc_lock)) {
#define UCOM_MTX_ASSERT(sc, what) KKASSERT(lockowned((sc)->sc_lock))
KKASSERT(lockowned(&sc->sc_lock));
KKASSERT(lockowned(&sc->sc_lock));
KKASSERT(lockowned(info->xfer_lock));
owned = lockowned(uptag->lock);
KKASSERT(lockowned(pc->tag_parent->lock));
KKASSERT(lockowned(info->xfer_lock));
#define USB_BUS_LOCK_ASSERT(_b) KKASSERT(lockowned(&(_b)->bus_lock))
#define USB_BUS_LOCK_ASSERT_NOTOWNED(_b) KKASSERT(!lockowned(&(_b)->bus_lock))
#define USB_XFER_LOCK_ASSERT(_x) KKASSERT(lockowned((_x)->xroot->xfer_lock))
#define USB_XFER_LOCK_ASSERT_NOTOWNED(_x) KKASSERT(!lockowned((_x)->xroot->xfer_lock))
locked = lockowned(f->priv_lock);
locked = lockowned(f->priv_lock);
KKASSERT(lockowned(f->priv_lock));
KKASSERT(lockowned(&udev->enum_lock));
KKASSERT(lockowned(&udev->sr_lock));
return (lockowned(&udev->enum_lock));
KKASSERT(lockowned(&udev->enum_lock));
KKASSERT(lockowned(f->priv_lock));
KKASSERT(lockowned(f->priv_lock));
if (lockowned(&bus->bus_lock) != 0) {
KKASSERT(lockowned(up->up_lock));
KKASSERT(lockowned(up->up_lock));
KKASSERT(lockowned(up->up_lock));
KKASSERT(!lockowned(up->up_lock));
KKASSERT(lockowned(up->up_lock));
KKASSERT(!lockowned(lock));
if (!lockowned(info->xfer_lock)) {
if (lockowned(xfer->xroot->xfer_lock)) {
while (lockowned(&xroot->udev->bus->bus_lock)) {
while (lockowned(xroot->xfer_lock)) {
locked = (lock != NULL) && lockowned(lock);
#define UVC_ASSERT_LOCKED(lkp) KKASSERT(lockowned(lkp))
usb_pause_mtx(lockowned(&sc->sc_lock) ? &sc->sc_lock : NULL,
#define RUN_LOCK_ASSERT(sc, t) KKASSERT(lockowned(&(sc)->sc_lock))
KKASSERT(lockowned(&sc->sc_lock));
KKASSERT(lockowned(&sc->sc_lock));
KKASSERT(lockowned(&bt->lock));
KKASSERT(lockowned(&bt->lock));
KKASSERT(lockowned(&bt->lock));
KKASSERT(lockowned(periph->sim->mtx));
KKASSERT(lockowned(&isp->isp_lock));
#define MMCSD_ASSERT_LOCKED(_sc) KKASSERT(lockowned(&(_sc)->sc_lock));
#define MMCSD_ASSERT_UNLOCKED(_sc) KKASSERT(!lockowned(&(_sc)->sc_lock));
#define MPT_LOCK_ASSERT(mpt) KKASSERT(lockowned(&(mpt)->mpt_lock))
#define SDHCI_ASSERT_LOCKED(_slot) KKASSERT(lockowned(&(_slot)->lock));
#define SDHCI_ASSERT_UNLOCKED(_slot) KKASSERT(!lockowned(&(_slot)->lock));
KKASSERT(lockowned(&dev->struct_mutex));
if (lockowned(lock))
KKASSERT(lockowned(&pcc->server->mtx));
KKASSERT(lockowned(&pcc->server->mtx));
locked = lockowned(&(client)->ec_buffer_mtx);
#define EVDEV_LOCK_ASSERT(evdev) KKASSERT(lockowned((evdev)->ev_state_lock) != 0)
KKASSERT(lockowned(&(client)->ec_buffer_mtx) != 0)
#define IPMI_LOCK_ASSERT(sc) KKASSERT(lockowned(&(sc)->ipmi_lock))
#define LOCKED(ocelock) lockowned(&(ocelock)->lock)
#define ALPM_LOCK_ASSERT(alpm) KKASSERT(lockowned(&(alpm)->lock))
#define AMDPM_LOCK_ASSERT(amdpm) KKASSERT(lockowned(&(amdpm)->lock))
#define INTSMB_LOCK_ASSERT(sc) KKASSERT(lockowned(&(sc)->lock))
KKASSERT(lockowned(&sc->aac_io_lock));
KKASSERT(lockowned(&sc->aac_io_lock));
KKASSERT(lockowned(&sc->aac_io_lock));
KKASSERT(lockowned(&sc->aac_io_lock));
KKASSERT(lockowned(&sc->amr_list_lock));
KKASSERT(lockowned(&sc->amr_list_lock));
KKASSERT(lockowned(lockp));
KKASSERT(lockowned(&sc->mpr_lock));
if (lockowned(&sc->mpr_lock) && sleep_flag == CAN_SLEEP)
if (lockowned(&sc->mpr_lock) && sleep_flag == CAN_SLEEP)
if (lockowned(&sc->mpr_lock) && sleep_flag == CAN_SLEEP) {
if (lockowned(&sc->mpr_lock))
KKASSERT(lockowned(&sc->mpr_lock));
if (lockowned(&sc->mpr_lock) && sleep_flag == CAN_SLEEP)
KKASSERT(lockowned(&sc->mpr_lock));
KKASSERT(lockowned(&sassc->sc->mpr_lock));
KKASSERT(lockowned(&sc->mpr_lock));
KKASSERT(lockowned(&sc->mpr_lock));
KKASSERT(lockowned(&sc->mpr_lock));
KKASSERT(lockowned(&sc->mpr_lock));
KKASSERT(lockowned(&sc->mpr_lock));
KKASSERT(lockowned(&sassc->sc->mpr_lock));
KKASSERT(lockowned(&sc->mpr_lock));
KKASSERT(lockowned(&sc->mpr_lock));
KKASSERT(lockowned(&sc->mps_lock));
KKASSERT(lockowned(&sc->mps_lock));
KKASSERT(lockowned(&sc->mps_lock));
KKASSERT(lockowned(&sc->mps_lock));
KKASSERT(lockowned(&sc->mps_lock));
KKASSERT(lockowned(&sc->mps_lock));
KKASSERT(lockowned(&sc->mps_lock));
KKASSERT(lockowned(&sassc->sc->mps_lock));
KKASSERT(lockowned(&sc->mps_lock));
KKASSERT(lockowned(&sassc->sc->mps_lock));
KKASSERT(lockowned(&sassc->sc->mps_lock));
KKASSERT(lockowned(&sassc->sc->mps_lock));
#define TWE_CONFIG_ASSERT_LOCKED(sc) KKASSERT(lockowned(&(sc)->twe_config_lock))
KKASSERT(lockowned(lockp));
KKASSERT(lockowned(&sc->gen_lock));
KKASSERT(lockowned(&sc->sim_lock));
KKASSERT(lockowned(&sc->sim_lock));
KKASSERT(lockowned(&sc->sim_lock));
KKASSERT(lockowned(&sc->sim_lock));
KKASSERT(lockowned(&sc->q_lock));
KKASSERT(lockowned(&sc->q_lock));
KKASSERT(lockowned(&sc->q_lock));
KKASSERT(lockowned(&sc->q_lock));
KKASSERT(lockowned(&sc->q_lock));
KKASSERT(lockowned(&sc->q_lock));
KKASSERT(lockowned(&sc->gen_lock));
KKASSERT(lockowned(&midistat_lock));
KKASSERT(lockowned(&midistat_lock));
KKASSERT(lockowned(&m->lock));
KKASSERT(lockowned(&scp->seq_lock));
KKASSERT(lockowned(&scp->seq_lock));
KKASSERT(lockowned(&scp->seq_lock));
KKASSERT(lockowned(&scp->seq_lock));
KKASSERT(lockowned(&scp->seq_lock));
KKASSERT(lockowned(&scp->seq_lock));
#define VTSCSI_LOCK_OWNED(_sc) KKASSERT(lockowned(VTSCSI_MTX(_sc)) != 0)
#define VTSCSI_LOCK_NOTOWNED(_sc) KKASSERT(lockowned(VTSCSI_MTX(_sc)) == 0)
KKASSERT(lockowned(&sc->lock));
KKASSERT(lockowned(&sc->lock));
KKASSERT(lockowned(&sc->lock));
KKASSERT(!lockowned(&sc->lock));
KKASSERT(lockowned(&sc->lock));
KKASSERT(lockowned(&sc->lock));
KKASSERT(lockowned(&sc->lock));
KKASSERT(lockowned(&sc->lock));
KKASSERT(lockowned(&sc->lock));
lock_owned = lockowned(&sc->lock);
KKASSERT(lockowned(&sc->lock));
KKASSERT(lockowned(&(_txq)->vxtxq_lock) != 0)
KKASSERT(lockowned(&(_txq)->vxtxq_lock) == 0)
KKASSERT(lockowned(&(_rxq)->vxrxq_lock) != 0)
KKASSERT(lockowned(&(_rxq)->vxrxq_lock) == 0)
#define VMXNET3_CORE_LOCK_ASSERT(_sc) KKASSERT(lockowned(&(_sc)->vmx_lock) != 0)
KKASSERT(lockowned(&(_sc)->vmx_lock) == 0)
KKASSERT(lockowned(&vss->vx_lock));
KKASSERT(lockowned(uh->lock));
KASSERT(lockowned(&mbupdate_lk), ("mbupdate_lk is not held"));
KKASSERT(lockowned(&l->l_identity_lock));
KKASSERT(lockowned(&sc->sc_ng_lock) != 0);
KKASSERT(lockowned(&pcb->pcb_lock) != 0);
KKASSERT(lockowned(&pcb->pcb_lock) != 0);
KKASSERT(lockowned(&pcb->pcb_lock) != 0);
KKASSERT(lockowned(&pcb->pcb_lock) != 0);
KKASSERT(lockowned(&pcb->pcb_lock) != 0);
KKASSERT(lockowned(&pcb->pcb_lock) != 0);
KKASSERT(lockowned(&pcb->pcb_lock) != 0);
KKASSERT(lockowned(&ng_btsocket_l2cap_sockets_lock) != 0);
KKASSERT(lockowned(&pcb->pcb_lock) != 0);
KKASSERT(lockowned(&ng_btsocket_l2cap_sockets_lock) != 0);
KKASSERT(lockowned(&ng_btsocket_l2cap_sockets_lock) != 0);
KKASSERT(lockowned(&ng_btsocket_l2cap_sockets_lock) != 0);
KKASSERT(lockowned(&pcb->pcb_lock) != 0);
KKASSERT(lockowned(&pcb->pcb_lock) != 0);
KKASSERT(lockowned(&pcb->pcb_lock) != 0);
KKASSERT(lockowned(&s->session_lock) != 0);
KKASSERT(lockowned(&s->session_lock) != 0);
KKASSERT(lockowned(&s->session_lock) != 0);
KKASSERT(lockowned(&ng_btsocket_rfcomm_sessions_lock) != 0);
KKASSERT(lockowned(&ng_btsocket_rfcomm_sessions_lock) != 0);
KKASSERT(lockowned(&s0->session_lock) != 0);
KKASSERT(lockowned(&s->session_lock) != 0);
KKASSERT(lockowned(&s->session_lock) != 0);
KKASSERT(lockowned(&s->session_lock) != 0);
KKASSERT(lockowned(&s->session_lock) != 0);
KKASSERT(lockowned(&s->session_lock) != 0);
KKASSERT(lockowned(&ng_btsocket_rfcomm_sessions_lock) != 0);
KKASSERT(lockowned(&s->session_lock) != 0);
KKASSERT(lockowned(&s->session_lock) != 0);
KKASSERT(lockowned(&s->session_lock) != 0);
KKASSERT(lockowned(&s->session_lock) != 0);
KKASSERT(lockowned(&s->session_lock) != 0);
KKASSERT(lockowned(&s->session_lock) != 0);
KKASSERT(lockowned(&s->session_lock) != 0);
KKASSERT(lockowned(&s->session_lock) != 0);
KKASSERT(lockowned(&s->session_lock) != 0);
KKASSERT(lockowned(&s->session_lock) != 0);
KKASSERT(lockowned(&s->session_lock) != 0);
KKASSERT(lockowned(&s->session_lock) != 0);
KKASSERT(lockowned(&s->session_lock) != 0);
KKASSERT(lockowned(&pcb->pcb_lock) != 0);
KKASSERT(lockowned(&s->session_lock) != 0);
KKASSERT(lockowned(&s->session_lock) != 0);
KKASSERT(lockowned(&pcb->session->session_lock) != 0);
KKASSERT(lockowned(&pcb->pcb_lock) != 0);
KKASSERT(lockowned(&pcb->session->session_lock) != 0);
KKASSERT(lockowned(&pcb->pcb_lock) != 0);
KKASSERT(lockowned(&pcb->pcb_lock) != 0);
KKASSERT(lockowned(&pcb->session->session_lock) != 0);
KKASSERT(lockowned(&pcb->session->session_lock) != 0);
KKASSERT(lockowned(&pcb->pcb_lock) != 0);
KKASSERT(lockowned(&pcb->session->session_lock) != 0);
KKASSERT(lockowned(&pcb->pcb_lock) != 0);
KKASSERT(lockowned(&s->session_lock) != 0);
KKASSERT(lockowned(&pcb->pcb_lock) != 0);
KKASSERT(lockowned(&pcb->pcb_lock) != 0);
KKASSERT(lockowned(&resettodr_lock) != 0);
KKASSERT(lockowned(&resettodr_lock) != 0);
int lockowned (struct lock *);
#define SYSCTL_ASSERT_LOCKED() KKASSERT(lockowned(&mycpu->gd_sysctllock))
#define ASSERT_VM_MAP_LOCKED(map) KKASSERT(lockowned(&(map)->lock))