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;