Symbol: vmx_write_tsc_multiplier
arch/x86/kvm/vmx/main.c
799
vmx_write_tsc_multiplier(vcpu);
arch/x86/kvm/vmx/x86_ops.h
120
void vmx_write_tsc_multiplier(struct kvm_vcpu *vcpu);