NMI_READ
val = NMI_READ(sc, sc->sc_config->pend_reg);
val = NMI_READ(sc, sc->sc_config->enable_reg);
val = NMI_READ(sc, sc->sc_config->ctrl_reg);