vct_lo            942 drivers/clocksource/arm_arch_timer.c 	u32 vct_lo, vct_hi, tmp_hi;
vct_lo            946 drivers/clocksource/arm_arch_timer.c 		vct_lo = readl_relaxed(arch_counter_base + CNTVCT_LO);
vct_lo            950 drivers/clocksource/arm_arch_timer.c 	return ((u64) vct_hi << 32) | vct_lo;