RW_DESTROYED
KASSERT(rw->rw_lock != RW_DESTROYED,
KASSERT(rw->rw_lock != RW_DESTROYED,
else if (rw->rw_lock == RW_DESTROYED) {
rw->rw_lock = RW_DESTROYED;
KASSERT(rw->rw_lock != RW_DESTROYED,
KASSERT(rw->rw_lock != RW_DESTROYED,
KASSERT(rw->rw_lock != RW_DESTROYED,
KASSERT(rw->rw_lock != RW_DESTROYED,
KASSERT(rw->rw_lock != RW_DESTROYED,
KASSERT(rw->rw_lock != RW_DESTROYED,