MTX_DESTROYED
m->mtx_lock = MTX_DESTROYED;
KASSERT(m->mtx_lock != MTX_DESTROYED,
KASSERT(m->mtx_lock != MTX_DESTROYED,
KASSERT(m->mtx_lock != MTX_DESTROYED,
KASSERT(m->mtx_lock != MTX_DESTROYED,
KASSERT(m->mtx_lock != MTX_DESTROYED,
KASSERT(m->mtx_lock != MTX_DESTROYED,
KASSERT(m->mtx_lock != MTX_DESTROYED,
KASSERT(m->mtx_lock != MTX_DESTROYED,
KASSERT(m->mtx_lock != MTX_DESTROYED,
#define mtx_destroyed(m) ((m)->mtx_lock == MTX_DESTROYED)
#define MTX_FLAGMASK (MTX_RECURSED | MTX_WAITERS | MTX_DESTROYED)