drivers/clocksource/arm_arch_timer_mmio.c

122

u32 cnt_lo, cnt_hi, tmp_hi;

drivers/clocksource/arm_arch_timer_mmio.c

125

cnt_hi = __le32_to_cpu((__le32 __force)__raw_readl(t->base + offset_lo + 4));

drivers/clocksource/arm_arch_timer_mmio.c

128

} while (cnt_hi != tmp_hi);

drivers/clocksource/arm_arch_timer_mmio.c

130

return ((u64) cnt_hi << 32) | cnt_lo;

drivers/clocksource/timer-imx-sysctr.c

57

u32 cnt_hi, tmp_hi, cnt_lo;

drivers/clocksource/timer-imx-sysctr.c

60

cnt_hi = readl_relaxed(base + priv->hi_off);

drivers/clocksource/timer-imx-sysctr.c

63

} while (tmp_hi != cnt_hi);

drivers/clocksource/timer-imx-sysctr.c

65

return ((u64) cnt_hi << 32) | cnt_lo;

drivers/perf/xgene_pmu.c

754

u32 cnt_lo, cnt_hi;

drivers/perf/xgene_pmu.c

756

cnt_hi = upper_32_bits(val);

drivers/perf/xgene_pmu.c

761

xgene_pmu_write_counter32(pmu_dev, 2 * idx + 1, cnt_hi);