Lines Matching refs:tsc_khz
2447 if (user_tsc_khz > tsc_khz) { in set_tsc_khz()
2459 user_tsc_khz, tsc_khz); in set_tsc_khz()
2495 thresh_lo = adjust_tsc_khz(tsc_khz, -tsc_tolerance_ppm); in kvm_set_tsc_khz()
2496 thresh_hi = adjust_tsc_khz(tsc_khz, tsc_tolerance_ppm); in kvm_set_tsc_khz()
3040 return tsc_khz; in get_cpu_tsc_khz()
5943 user_tsc_khz = tsc_khz; in kvm_arch_vcpu_ioctl()
7039 user_tsc_khz = tsc_khz; in kvm_arch_vm_ioctl()
9202 khz = tsc_khz; in tsc_khz_changed()
9222 per_cpu(cpu_tsc_khz, cpu) = tsc_khz; in kvm_hyperv_tsc_notifier()
9224 kvm_caps.max_guest_tsc_khz = tsc_khz; in kvm_hyperv_tsc_notifier()
9343 max_tsc_khz = tsc_khz; in kvm_timer_init()
9581 __scale_tsc(kvm_caps.max_tsc_scaling_ratio, tsc_khz)); in __kvm_x86_vendor_init()
12362 kvm->arch.default_tsc_khz = max_tsc_khz ? : tsc_khz; in kvm_arch_init_vm()