SSB_CHIPCO_GPIOIRQ  552 drivers/ssb/driver_chipcommon.c 	res = chipco_write32_masked(cc, SSB_CHIPCO_GPIOIRQ, mask, value);
SSB_CHIPCO_GPIOIRQ  126 drivers/ssb/driver_gpio.c 	u32 mask = chipco_read32(chipco, SSB_CHIPCO_GPIOIRQ);