CUDA_IDLE
sc->sc_state = CUDA_IDLE; /* used by all types of hardware */
if (sc->sc_state == CUDA_IDLE /*&&
while ((sc->sc_state != CUDA_IDLE) ||
case CUDA_IDLE:
sc->sc_state = CUDA_IDLE;
sc->sc_state = CUDA_IDLE;
sc->sc_state = CUDA_IDLE; /* new state */
sc->sc_state = CUDA_IDLE; /* signal bus is idle */