Home
last modified time | relevance | path

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

/f-stack/freebsd/sys/
H A Dlock.h239 void witness_assert(const struct lock_object *, int, const char *, int);
/f-stack/freebsd/kern/
H A Dkern_rwlock.c1462 witness_assert(&rw->lock_object, what, file, line); in __rw_assert()
1504 witness_assert(&rw->lock_object, what, file, line); in __rw_assert()
H A Dkern_sx.c1425 witness_assert(&sx->lock_object, what, file, line); in _sx_assert()
1467 witness_assert(&sx->lock_object, what, file, line); in _sx_assert()
H A Dkern_lock.c1740 witness_assert(&lk->lock_object, what, file, line); in _lockmgr_assert()
H A Dsubr_witness.c2430 witness_assert(const struct lock_object *lock, int flags, const char *file, in witness_assert() function