sys/kern/kern_mutex.c

394

MUTEX_ASSERT(mtx, !MUTEX_OWNED(owner));

sys/kern/kern_mutex.c

395

MUTEX_ASSERT(mtx, !MUTEX_HAS_WAITERS(mtx));

sys/kern/kern_mutex.c

397

MUTEX_ASSERT(mtx, !MUTEX_SPINBIT_LOCKED_P(mtx));

sys/kern/kern_mutex.c

518

MUTEX_ASSERT(mtx, curthread != 0);

sys/kern/kern_mutex.c

519

MUTEX_ASSERT(mtx, !cpu_intr_p());

sys/kern/kern_mutex.c

748

MUTEX_ASSERT(mtx, MUTEX_OWNER(mtx->mtx_owner) == curthread);

sys/kern/kern_mutex.c

846

MUTEX_ASSERT(mtx, MUTEX_ADAPTIVE_P(mtx->mtx_owner));

sys/kern/kern_mutex.c

896

MUTEX_ASSERT(mtx, curthread != 0);