Symbol: kvm_hv_send_ipi
arch/x86/kvm/hyperv.c
2651
ret = kvm_hv_send_ipi(vcpu, &hc);
arch/x86/kvm/trace.h
1711
TRACE_EVENT(kvm_hv_send_ipi,