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

/freebsd-9.3-release/sys/sys/
H A Dlock.h105 /* Flags passed to witness_assert. */
219 void witness_assert(struct lock_object *, int, const char *, int);
/freebsd-9.3-release/sys/kern/
H A Dkern_rwlock.c1072 witness_assert(&rw->lock_object, what, file, line);
1114 witness_assert(&rw->lock_object, what, file, line);
H A Dkern_sx.c1078 witness_assert(&sx->lock_object, what, file, line);
1120 witness_assert(&sx->lock_object, what, file, line);
H A Dkern_lock.c1378 witness_assert(&lk->lock_object, what, file, line);
H A Dsubr_witness.c2230 witness_assert(struct lock_object *lock, int flags, const char *file, int line) function

Completed in 252 milliseconds