vct_hi            942 drivers/clocksource/arm_arch_timer.c 	u32 vct_lo, vct_hi, tmp_hi;
vct_hi            945 drivers/clocksource/arm_arch_timer.c 		vct_hi = readl_relaxed(arch_counter_base + CNTVCT_HI);
vct_hi            948 drivers/clocksource/arm_arch_timer.c 	} while (vct_hi != tmp_hi);
vct_hi            950 drivers/clocksource/arm_arch_timer.c 	return ((u64) vct_hi << 32) | vct_lo;