SSB_CHIPCO_GPIOPULLUP
chipco_write32(cc, SSB_CHIPCO_GPIOPULLUP, 0);
res = chipco_write32_masked(cc, SSB_CHIPCO_GPIOPULLUP, mask, value);