bcm_lintc_rwreg_set
bcm_lintc_rwreg_set(sc, BCM_LINTC_TIMER_CFG_REG(cpu),
bcm_lintc_rwreg_set(sc, reg, mask);