CNTACR           1350 drivers/clocksource/arm_arch_timer.c 		writel_relaxed(cntacr, cntctlbase + CNTACR(i));
CNTACR           1351 drivers/clocksource/arm_arch_timer.c 		cntacr = readl_relaxed(cntctlbase + CNTACR(i));