Searched refs:max_tsc_khz (Results 1 – 1 of 1) sorted by relevance
974 unsigned long max_tsc_khz; variable4628 max_tsc_khz = tsc_khz; in kvm_timer_init()4637 max_tsc_khz = policy.cpuinfo.max_freq; in kvm_timer_init()4643 pr_debug("kvm: max_tsc_khz = %ld\n", max_tsc_khz); in kvm_timer_init()5978 kvm_arch_set_tsc_khz(kvm, max_tsc_khz); in kvm_arch_vcpu_init()