Symbol: vmx_write_tsc_offset
arch/x86/kvm/vmx/main.c
790
vmx_write_tsc_offset(vcpu);
arch/x86/kvm/vmx/x86_ops.h
119
void vmx_write_tsc_offset(struct kvm_vcpu *vcpu);