Symbol: SSB_CHIPCO_IRQMASK
drivers/ssb/driver_chipcommon.c
496
chipco_write32_masked(cc, SSB_CHIPCO_IRQMASK, mask, value);
drivers/ssb/driver_gpio.c
174
chipco_set32(chipco, SSB_CHIPCO_IRQMASK, SSB_CHIPCO_IRQ_GPIO);
drivers/ssb/driver_gpio.c
198
chipco_mask32(chipco, SSB_CHIPCO_IRQMASK, ~SSB_CHIPCO_IRQ_GPIO);