Lines Matching defs:ratio
2437 u64 ratio;
2457 /* TSC scaling required - calculate ratio */
2458 ratio = mul_u64_u32_div(1ULL << kvm_caps.tsc_scaling_ratio_frac_bits,
2461 if (ratio == 0 || ratio >= kvm_caps.max_tsc_scaling_ratio) {
2462 pr_warn_ratelimited("Invalid TSC scaling ratio - virtual-tsc-khz=%u\n",
2467 kvm_vcpu_write_tsc_multiplier(vcpu, ratio);
2550 * Multiply tsc by a fixed point number represented by ratio.
2552 * The most significant 64-N bits (mult) of ratio represent the
2554 * (frac) represent the fractional part, ie. ratio represents a fixed
2559 static inline u64 __scale_tsc(u64 ratio, u64 tsc)
2561 return mul_u64_u64_shr(tsc, ratio, kvm_caps.tsc_scaling_ratio_frac_bits);
2564 u64 kvm_scale_tsc(u64 tsc, u64 ratio)
2568 if (ratio != kvm_caps.default_tsc_scaling_ratio)
2569 _tsc = __scale_tsc(ratio, tsc);
4123 u64 offset, ratio;
4127 ratio = vcpu->arch.l1_tsc_scaling_ratio;
4130 ratio = vcpu->arch.tsc_scaling_ratio;
4133 msr_info->data = kvm_scale_tsc(rdtsc(), ratio) + offset;