Searched refs:witness_assert (Results 1 - 5 of 5) sorted by relevance
| /freebsd-12-stable/sys/sys/ |
| H A D | lock.h | 111 /* Flags passed to witness_assert. */
270 void witness_assert(const struct lock_object *, int, const char *, int);
|
| /freebsd-12-stable/sys/kern/ |
| H A D | kern_rwlock.c | 1454 witness_assert(&rw->lock_object, what, file, line);
1496 witness_assert(&rw->lock_object, what, file, line);
|
| H A D | kern_sx.c | 1433 witness_assert(&sx->lock_object, what, file, line);
1475 witness_assert(&sx->lock_object, what, file, line);
|
| H A D | kern_lock.c | 1606 witness_assert(&lk->lock_object, what, file, line);
|
| H A D | subr_witness.c | 2379 witness_assert(const struct lock_object *lock, int flags, const char *file, function
|
Completed in 207 milliseconds