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 <p...@xen.org>