chipco_write32_masked
chipco_write32_masked(cc, SSB_CHIPCO_IRQMASK, mask, value);
res = chipco_write32_masked(cc, SSB_CHIPCO_GPIOOUT, mask, value);
res = chipco_write32_masked(cc, SSB_CHIPCO_GPIOOUTEN, mask, value);
res = chipco_write32_masked(cc, SSB_CHIPCO_GPIOCTL, mask, value);
res = chipco_write32_masked(cc, SSB_CHIPCO_GPIOIRQ, mask, value);
res = chipco_write32_masked(cc, SSB_CHIPCO_GPIOPOL, mask, value);
res = chipco_write32_masked(cc, SSB_CHIPCO_GPIOPULLUP, mask, value);
res = chipco_write32_masked(cc, SSB_CHIPCO_GPIOPULLDOWN, mask, value);