bcm_timer_readl
reg = bcm_timer_readl(TIMER_CTLx_REG(id));
reg = bcm_timer_readl(TIMER_IRQSTAT_REG);
stat = bcm_timer_readl(TIMER_IRQSTAT_REG);
reg = bcm_timer_readl(TIMER_CTLx_REG(id));
reg = bcm_timer_readl(TIMER_IRQSTAT_REG);
reg = bcm_timer_readl(TIMER_CTLx_REG(id));
reg = bcm_timer_readl(TIMER_IRQSTAT_REG);