cnt_hi
u32 cnt_lo, cnt_hi, tmp_hi;
cnt_hi = __le32_to_cpu((__le32 __force)__raw_readl(t->base + offset_lo + 4));
} while (cnt_hi != tmp_hi);
return ((u64) cnt_hi << 32) | cnt_lo;
u32 cnt_hi, tmp_hi, cnt_lo;
cnt_hi = readl_relaxed(base + priv->hi_off);
} while (tmp_hi != cnt_hi);
return ((u64) cnt_hi << 32) | cnt_lo;
u32 cnt_lo, cnt_hi;
cnt_hi = upper_32_bits(val);
xgene_pmu_write_counter32(pmu_dev, 2 * idx + 1, cnt_hi);