SFXGE_TXQ_INITIALIZED
stp->st_state = SFXGE_TXQ_INITIALIZED;
ASSERT3U(stp->st_state, ==, SFXGE_TXQ_INITIALIZED);
case SFXGE_TXQ_INITIALIZED:
if (stp->st_state == SFXGE_TXQ_INITIALIZED)
stp->st_state = SFXGE_TXQ_INITIALIZED;
ASSERT3U(stp->st_state, ==, SFXGE_TXQ_INITIALIZED);