Home
last modified time | relevance | path

Searched refs:witness_assert (Results 1 – 5 of 5) sorted by relevance

/freebsd/sys/sys/
H A Dlock.h239 void witness_assert(const struct lock_object *, int, const char *, int);
/freebsd/sys/kern/
H A Dkern_sx.c1427 witness_assert(&sx->lock_object, what, file, line); in _sx_assert()
1469 witness_assert(&sx->lock_object, what, file, line); in _sx_assert()
H A Dkern_rwlock.c1480 witness_assert(&rw->lock_object, what, file, line); in __rw_assert()
1522 witness_assert(&rw->lock_object, what, file, line); in __rw_assert()
H A Dkern_lock.c1727 witness_assert(&lk->lock_object, what, file, line); in _lockmgr_assert()
H A Dsubr_witness.c2461 witness_assert(const struct lock_object *lock, int flags, const char *file, in witness_assert() function