mul_u64_u64_shr
#define mulhdu(x, y) mul_u64_u64_shr(x, y, 64)
mul_u64_u64_shr(hv_clock->tsc_timestamp, tsc_ref->tsc_scale, 64);
return mul_u64_u64_shr(tsc, hv->tsc_ref.tsc_scale, 64)
return mul_u64_u64_shr(tsc, ratio, kvm_caps.tsc_scaling_ratio_frac_bits);
return mul_u64_u64_shr(l1_multiplier, l2_multiplier,
tspec->tv_nsec = mul_u64_u64_shr(frac_sec, NSEC_PER_SEC, 64);
*time = mul_u64_u64_shr(*cur_tsc, scale, 64) + offset;
return l + mul_u64_u64_shr(rnd, span, 64);
#ifndef mul_u64_u64_shr
#ifndef mul_u64_u64_shr
ret = mul_u64_u64_shr(abs(a), b, shift);