GIUINTEN_REG
vrgiu_regwrite_4(sc, GIUINTEN_REG, sc->sc_intr_mask);
inten= vrgiu_regread_4(sc, GIUINTEN_REG);
inten= vrgiu_regread_4(sc, GIUINTEN_REG);
printf(" INTEN: %08x\n", vrgiu_regread_4(sc, GIUINTEN_REG));
vrgiu_regwrite_4(sc, GIUINTEN_REG, sc->sc_intr_mask);
vrgiu_regwrite_4(sc, GIUINTEN_REG, sc->sc_intr_mask);