sys/kern/kern_sx.c

1270

KASSERT(sx->sx_lock != SX_LOCK_DESTROYED,

sys/kern/kern_sx.c

1372

KASSERT(sx->sx_lock != SX_LOCK_DESTROYED,

sys/kern/kern_sx.c

1500

else if (sx->sx_lock == SX_LOCK_DESTROYED) {

sys/kern/kern_sx.c

268

sx->sx_lock = SX_LOCK_DESTROYED;

sys/kern/kern_sx.c

286

KASSERT(x != SX_LOCK_DESTROYED,

sys/kern/kern_sx.c

323

KASSERT(sx->sx_lock != SX_LOCK_DESTROYED,

sys/kern/kern_sx.c

360

KASSERT(sx->sx_lock != SX_LOCK_DESTROYED,

sys/kern/kern_sx.c

404

KASSERT(sx->sx_lock != SX_LOCK_DESTROYED,

sys/kern/kern_sx.c

433

KASSERT(sx->sx_lock != SX_LOCK_DESTROYED,

sys/kern/kern_sx.c

482

KASSERT(sx->sx_lock != SX_LOCK_DESTROYED,