SSB_CHIPCO_PMU_MAXRES_MSK
chipco_mask32(cc, SSB_CHIPCO_PMU_MAXRES_MSK,
chipco_mask32(cc, SSB_CHIPCO_PMU_MAXRES_MSK,
chipco_mask32(cc, SSB_CHIPCO_PMU_MAXRES_MSK,
chipco_write32(cc, SSB_CHIPCO_PMU_MAXRES_MSK, max_msk);