sys/kern/kern_rwlock.c

1305

KASSERT(rw->rw_lock != RW_DESTROYED,

sys/kern/kern_rwlock.c

1389

KASSERT(rw->rw_lock != RW_DESTROYED,

sys/kern/kern_rwlock.c

1552

else if (rw->rw_lock == RW_DESTROYED) {

sys/kern/kern_rwlock.c

264

rw->rw_lock = RW_DESTROYED;

sys/kern/kern_rwlock.c

297

KASSERT(rw->rw_lock != RW_DESTROYED,

sys/kern/kern_rwlock.c

330

KASSERT(rw->rw_lock != RW_DESTROYED,

sys/kern/kern_rwlock.c

378

KASSERT(rw->rw_lock != RW_DESTROYED,

sys/kern/kern_rwlock.c

686

KASSERT(rw->rw_lock != RW_DESTROYED,

sys/kern/kern_rwlock.c

729

KASSERT(rw->rw_lock != RW_DESTROYED,

sys/kern/kern_rwlock.c

861

KASSERT(rw->rw_lock != RW_DESTROYED,