kvm_set_tsc_khz  4442 arch/x86/kvm/x86.c 		if (!kvm_set_tsc_khz(vcpu, user_tsc_khz))
kvm_set_tsc_khz  9463 arch/x86/kvm/x86.c 	kvm_set_tsc_khz(vcpu, max_tsc_khz);