DKW_STATE_DEAD
KASSERT(sc->sc_state != DKW_STATE_DEAD);
KASSERT(sc->sc_state != DKW_STATE_DEAD);
KASSERT(sc->sc_state != DKW_STATE_DEAD);
KASSERT(sc->sc_state != DKW_STATE_DEAD);
KASSERT(sc->sc_state != DKW_STATE_DEAD);
KASSERT(sc->sc_state != DKW_STATE_DEAD);
KASSERT(sc->sc_state != DKW_STATE_DEAD);
sc->sc_state = DKW_STATE_DEAD;