tsc_khz_changed  7071 arch/x86/kvm/x86.c 	smp_call_function_single(cpu, tsc_khz_changed, freq, 1);
tsc_khz_changed  7098 arch/x86/kvm/x86.c 		smp_call_function_single(cpu, tsc_khz_changed, freq, 1);
tsc_khz_changed  7125 arch/x86/kvm/x86.c 	tsc_khz_changed(NULL);