Lines Matching refs:KKASSERT
109 KKASSERT((lock & MTX_MASK) != MTX_MASK); in __mtx_lock_ex()
259 KKASSERT((lock & MTX_MASK) != MTX_MASK); in __mtx_lock_sh()
399 KKASSERT((lock & MTX_MASK) != MTX_MASK); in _mtx_spinlock()
439 KKASSERT((lock & MTX_MASK) != MTX_MASK); in _mtx_spinlock_try()
468 KKASSERT((lock & MTX_MASK) != MTX_MASK);
504 KKASSERT((lock & MTX_MASK) != MTX_MASK); in _mtx_lock_ex_try()
529 KKASSERT((lock & MTX_MASK) != MTX_MASK); in _mtx_lock_sh_try()
563 KKASSERT((lock & MTX_MASK) > 0); in _mtx_downgrade()
614 KKASSERT(mtx->mtx_owner == curthread); in _mtx_upgrade_try()
647 KKASSERT(mtx->mtx_owner == td || in _mtx_unlock()
661 KKASSERT(mtx->mtx_owner == td || in _mtx_unlock()
674 KKASSERT(mtx->mtx_owner == td || in _mtx_unlock()
717 KKASSERT(lock & MTX_LINKSPIN); in _mtx_unlock()
725 KKASSERT((nlock & MTX_MASK) != MTX_MASK); in _mtx_unlock()
761 KKASSERT(link != NULL); in mtx_chain_link_ex()
771 KKASSERT(link->state == MTX_LINK_LINKED_EX); in mtx_chain_link_ex()
826 KKASSERT(mtx->mtx_shlink != NULL); in mtx_chain_link_sh()
847 KKASSERT(link->state == MTX_LINK_LINKED_SH); in mtx_chain_link_sh()