CNTV_TVAL         108 drivers/clocksource/arm_arch_timer.c 			writel_relaxed(val, timer->base + CNTV_TVAL);
CNTV_TVAL         139 drivers/clocksource/arm_arch_timer.c 			val = readl_relaxed(timer->base + CNTV_TVAL);