SSB_CHIPCO_GPIOIRQ
res = chipco_write32_masked(cc, SSB_CHIPCO_GPIOIRQ, mask, value);
u32 mask = chipco_read32(chipco, SSB_CHIPCO_GPIOIRQ);