MIS_EXCLUSIVE_HELD
if (mip->mi_state_flags & MIS_EXCLUSIVE_HELD) {
ASSERT(!(mip->mi_state_flags & MIS_EXCLUSIVE_HELD));
mip->mi_state_flags |= MIS_EXCLUSIVE_HELD;
ASSERT(mip->mi_ref == 2 && (mip->mi_state_flags & MIS_EXCLUSIVE_HELD));
mip->mi_state_flags &= ~MIS_EXCLUSIVE_HELD;