Searched refs:max_tsc_khz (Results 1 - 1 of 1) sorted by relevance

/linux-4.4.14/arch/x86/kvm/
H A Dx86.c1241 static unsigned long max_tsc_khz; variable
5623 max_tsc_khz = tsc_khz; kvm_timer_init()
5633 max_tsc_khz = policy.cpuinfo.max_freq; kvm_timer_init()
5639 pr_debug("kvm: max_tsc_khz = %ld\n", max_tsc_khz); kvm_timer_init()
7550 kvm_set_tsc_khz(vcpu, max_tsc_khz); kvm_arch_vcpu_init()

Completed in 83 milliseconds