bcm_lintc_write_4
bcm_lintc_write_4(sc, reg, bcm_lintc_read_4(sc, reg) & ~mask);
bcm_lintc_write_4(sc, reg, bcm_lintc_read_4(sc, reg) | mask);
bcm_lintc_write_4(sc, BCM_LINTC_GPU_ROUTING_REG, 0);
bcm_lintc_write_4(sc, BCM_LINTC_GPU_ROUTING_REG, bli->bli_value);
bcm_lintc_write_4(sc, BCM_LINTC_PMU_ROUTING_CLR_REG, mask);
bcm_lintc_write_4(sc, BCM_LINTC_PMU_ROUTING_SET_REG, mask);
bcm_lintc_write_4(sc, BCM_LINTC_MBOX0_SET_REG(cpu),
bcm_lintc_write_4(sc, BCM_LINTC_MBOX0_CLR_REG(cpu), 1 << ipi);
bcm_lintc_write_4(sc, BCM_LINTC_PMU_ROUTING_SET_REG,
bcm_lintc_write_4(sc, BCM_LINTC_CONTROL_REG, 0);
bcm_lintc_write_4(sc, BCM_LINTC_PRESCALER_REG, BCM_LINTC_PSR_19_2);
bcm_lintc_write_4(sc, BCM_LINTC_TIMER_CFG_REG(cpu), 0);
bcm_lintc_write_4(sc, BCM_LINTC_MBOX_CFG_REG(cpu),