Symbol: vmx_set_hv_timer
arch/x86/kvm/vmx/main.c
797
return vmx_set_hv_timer(vcpu, guest_deadline_tsc, expired);
arch/x86/kvm/vmx/x86_ops.h
117
int vmx_set_hv_timer(struct kvm_vcpu *vcpu, u64 guest_deadline_tsc,