Symbol: kvm_set_tsc_khz
arch/x86/kvm/x86.c
12847
kvm_set_tsc_khz(vcpu, vcpu->kvm->arch.default_tsc_khz);
arch/x86/kvm/x86.c
6505
if (!kvm_set_tsc_khz(vcpu, user_tsc_khz))