Searched refs:max_tsc_khz (Results 1 – 1 of 1) sorted by relevance
2031 static unsigned long max_tsc_khz; variable7730 max_tsc_khz = tsc_khz; in kvm_timer_init()7741 max_tsc_khz = policy->cpuinfo.max_freq; in kvm_timer_init()9855 kvm_set_tsc_khz(vcpu, max_tsc_khz); in kvm_arch_vcpu_create()
