Symbol: vm_handle_ipi
sys/amd64/vmm/io/vlapic.h
116
int vm_handle_ipi(struct vcpu *vcpu, struct vm_exit *vme, bool *retu);
sys/amd64/vmm/vmm.c
1219
error = vm_handle_ipi(vcpu, vme, &retu);