CNTVCT_HI         945 drivers/clocksource/arm_arch_timer.c 		vct_hi = readl_relaxed(arch_counter_base + CNTVCT_HI);
CNTVCT_HI         947 drivers/clocksource/arm_arch_timer.c 		tmp_hi = readl_relaxed(arch_counter_base + CNTVCT_HI);