Symbol: __kvm_synchronize_tsc
arch/x86/kvm/x86.c
2864
__kvm_synchronize_tsc(vcpu, offset, data, ns, matched, !!user_value);
arch/x86/kvm/x86.c
5967
__kvm_synchronize_tsc(vcpu, offset, tsc, ns, matched, true);