GIUINTALSEL_REG
level = vrgiu_regread_4(sc, GIUINTALSEL_REG);
printf(" INTALSEL: %08x\n", vrgiu_regread_4(sc, GIUINTALSEL_REG));
reg = vrgiu_regread_4(sc, GIUINTALSEL_REG);
vrgiu_regwrite_4(sc, GIUINTALSEL_REG, reg);