BSC_EXEC_STATE_IDLE
case BSC_EXEC_STATE_IDLE:
KASSERT(sc->sc_exec_state == BSC_EXEC_STATE_IDLE);
sc->sc_exec_state = BSC_EXEC_STATE_IDLE;
[BSC_EXEC_STATE_IDLE] = {