MDB_TGT_SPEC_IDLE
if (sp.spec_state == MDB_TGT_SPEC_IDLE ||
} else if (vep->ve_se->se_state != MDB_TGT_SPEC_IDLE)
if (sep->se_state != MDB_TGT_SPEC_IDLE) {
sep->se_state = MDB_TGT_SPEC_IDLE;
sep->se_state = MDB_TGT_SPEC_IDLE;
ASSERT(sep->se_state != MDB_TGT_SPEC_IDLE);
sep->se_state = MDB_TGT_SPEC_IDLE;
ASSERT(sep->se_state == MDB_TGT_SPEC_IDLE);
ASSERT(sep->se_state != MDB_TGT_SPEC_IDLE);