vm_handle_ipi
int vm_handle_ipi(struct vcpu *vcpu, struct vm_exit *vme, bool *retu);
error = vm_handle_ipi(vcpu, vme, &retu);