SFXGE_EVQ_INITIALIZED
evq->init_state = SFXGE_EVQ_INITIALIZED;
KASSERT(evq->init_state == SFXGE_EVQ_INITIALIZED,
evq->init_state = SFXGE_EVQ_INITIALIZED;
KASSERT(evq->init_state == SFXGE_EVQ_INITIALIZED,
evq->init_state = SFXGE_EVQ_INITIALIZED;