Lines Matching refs:tsc_khz
2391 if (user_tsc_khz > tsc_khz) { in set_tsc_khz()
2403 user_tsc_khz, tsc_khz); in set_tsc_khz()
2439 thresh_lo = adjust_tsc_khz(tsc_khz, -tsc_tolerance_ppm); in kvm_set_tsc_khz()
2440 thresh_hi = adjust_tsc_khz(tsc_khz, tsc_tolerance_ppm); in kvm_set_tsc_khz()
5813 user_tsc_khz = tsc_khz; in kvm_arch_vcpu_ioctl()
6912 user_tsc_khz = tsc_khz; in kvm_arch_vm_ioctl()
9113 khz = tsc_khz; in tsc_khz_changed()
9132 per_cpu(cpu_tsc_khz, cpu) = tsc_khz; in kvm_hyperv_tsc_notifier()
9133 kvm_caps.max_guest_tsc_khz = tsc_khz; in kvm_hyperv_tsc_notifier()
9252 max_tsc_khz = tsc_khz; in kvm_timer_init()
12304 __scale_tsc(kvm_caps.max_tsc_scaling_ratio, tsc_khz)); in kvm_arch_hardware_setup()
12405 kvm->arch.default_tsc_khz = max_tsc_khz ? : tsc_khz; in kvm_arch_init_vm()