GIUINTSTAT_REG
printf(" INTSTAT: %08x\n", vrgiu_regread_4(sc, GIUINTSTAT_REG));
reg = vrgiu_regread_4(sc, GIUINTSTAT_REG);
vrgiu_regwrite_4(sc, GIUINTSTAT_REG, reg);
reg = vrgiu_regread_4(sc, GIUINTSTAT_REG);
vrgiu_regwrite_4(sc, GIUINTSTAT_REG, reg & ~(1 << ihe->ih_port));
vrgiu_regwrite_4(sc, GIUINTSTAT_REG, vrgiu_regread_4(sc, GIUINTSTAT_REG));