GPIOIC
writeb(mask, pl061->base + GPIOIC);
void __iomem *ic = sfp->base + GPIOIC + 4 * (gpio / 32);
void __iomem *ic = sfp->base + GPIOIC + 4 * (gpio / 32);
writel(~0U, sfp->base + GPIOIC + 0);
writel(~0U, sfp->base + GPIOIC + 4);