Lines Matching refs:tsc_khz
2397 if (user_tsc_khz > tsc_khz) { in set_tsc_khz()
2409 user_tsc_khz, tsc_khz); in set_tsc_khz()
2445 thresh_lo = adjust_tsc_khz(tsc_khz, -tsc_tolerance_ppm); in kvm_set_tsc_khz()
2446 thresh_hi = adjust_tsc_khz(tsc_khz, tsc_tolerance_ppm); in kvm_set_tsc_khz()
2992 return tsc_khz; in get_cpu_tsc_khz()
5840 user_tsc_khz = tsc_khz; in kvm_arch_vcpu_ioctl()
6945 user_tsc_khz = tsc_khz; in kvm_arch_vm_ioctl()
9095 khz = tsc_khz; in tsc_khz_changed()
9115 per_cpu(cpu_tsc_khz, cpu) = tsc_khz; in kvm_hyperv_tsc_notifier()
9117 kvm_caps.max_guest_tsc_khz = tsc_khz; in kvm_hyperv_tsc_notifier()
9236 max_tsc_khz = tsc_khz; in kvm_timer_init()
9471 __scale_tsc(kvm_caps.max_tsc_scaling_ratio, tsc_khz)); in __kvm_x86_vendor_init()
12211 kvm->arch.default_tsc_khz = max_tsc_khz ? : tsc_khz; in kvm_arch_init_vm()