__rw_assert
__rw_assert(&rw->rw_lock, RA_RLOCKED, file, line);
__rw_assert(&rw->rw_lock, RA_WLOCKED | RA_NOTRECURSED, file, line);
__rw_assert(c, RA_WLOCKED, file, line);
__rw_assert(&rw->rw_lock, RA_RLOCKED, file, line);
void __rw_assert(const volatile uintptr_t *c, int what, const char *file,
__rw_assert(&(rw)->rw_lock, w, f, l)