st_evq
ASSERT3U(stp->st_evq, ==, index);
ASSERT3U(sep->se_index, ==, stp->st_evq);
evq = stp->st_evq;
ASSERT3U(sep->se_index, ==, stp->st_evq);
stp->st_evq = evq;
stp->st_evq = 0;
evq = stp->st_evq;
unsigned int evq = stp->st_evq;
unsigned int evq = stp->st_evq;
ASSERT(mutex_owned(&(sp->s_sep[stp->st_evq]->se_lock)));
unsigned int evq = stp->st_evq;
(void) sfxge_ev_txlabel_free(sp, stp->st_evq, stp, stp->st_label);
stp->st_evq = 0;
ASSERT3U(stp->st_evq, ==, index);
ASSERT3U(stp->st_evq, ==, index);