CNTP_CTL
writel_relaxed((u32)val, timer->base + CNTP_CTL);
return readl_relaxed(timer->base + CNTP_CTL);