CNTR_COUNT_HIGH
writel(val >> 32, dev->reg + CNTR_COUNT_HIGH(id));
val |= ((u64)readl(dev->reg + CNTR_COUNT_HIGH(id))) << 32;