Re: [PATCH v10 33/59] hw/xen: Implement EVTCHNOP_bind_ipi

[Paul Durrant]

On 10/02/2023 14:15, David Woodhouse wrote:
> On Fri, 2023-02-10 at 13:55 +0000, Paul Durrant wrote:
> > > +    ret = allocate_port(s, ipi->vcpu, EVTCHNSTAT_ipi, 0, &ipi->port);
> > > +    if (!ret && s->evtchn_in_kernel) {
> > > +        assign_kernel_port(EVTCHNSTAT_ipi, ipi->port, ipi->vcpu);
> >
> > Should the error not be propagated here?
>
>
> Nah, we'll just fall back to doing it in userspace.
>
> The kernel acceleration is nice to have (and I mean *really* nice to
> have, for IPIs), but it works without.

Ok.

Reviewed-by: Paul Durrant <paul@xen.org>