Lines Matching defs:ratio
2431 u64 ratio;
2451 /* TSC scaling required - calculate ratio */
2452 ratio = mul_u64_u32_div(1ULL << kvm_caps.tsc_scaling_ratio_frac_bits,
2455 if (ratio == 0 || ratio >= kvm_caps.max_tsc_scaling_ratio) {
2456 pr_warn_ratelimited("Invalid TSC scaling ratio - virtual-tsc-khz=%u\n",
2461 kvm_vcpu_write_tsc_multiplier(vcpu, ratio);
2547 * Multiply tsc by a fixed point number represented by ratio.
2549 * The most significant 64-N bits (mult) of ratio represent the
2551 * (frac) represent the fractional part, ie. ratio represents a fixed
2556 static inline u64 __scale_tsc(u64 ratio, u64 tsc)
2558 return mul_u64_u64_shr(tsc, ratio, kvm_caps.tsc_scaling_ratio_frac_bits);
2561 u64 kvm_scale_tsc(u64 tsc, u64 ratio)
2565 if (ratio != kvm_caps.default_tsc_scaling_ratio)
2566 _tsc = __scale_tsc(ratio, tsc);
3335 * Perhaps the ABI should have exposed CLOCK_TAI and a ratio between
4300 u64 offset, ratio;
4304 ratio = vcpu->arch.l1_tsc_scaling_ratio;
4307 ratio = vcpu->arch.tsc_scaling_ratio;
4310 msr_info->data = kvm_scale_tsc(rdtsc(), ratio) + offset;