TIMER_CTLx_REG
reg = bcm_timer_readl(TIMER_CTLx_REG(id));
bcm_timer_writel(reg, TIMER_CTLx_REG(id));
reg = bcm_timer_readl(TIMER_CTLx_REG(id));
bcm_timer_writel(reg, TIMER_CTLx_REG(id));
reg = bcm_timer_readl(TIMER_CTLx_REG(id));
bcm_timer_writel(reg, TIMER_CTLx_REG(id));