witness_assert
witness_assert(&lk->lock_object, what, file, line);
witness_assert(&rw->lock_object, what, file, line);
witness_assert(&rw->lock_object, what, file, line);
witness_assert(&sx->lock_object, what, file, line);
witness_assert(&sx->lock_object, what, file, line);
void witness_assert(const struct lock_object *, int, const char *, int);