Re: [Xen-devel] [PATCH 01/25] xen/evtchn: expose evtchn_bind_ipi_vcpu0_domain for use within Xen

["Jan Beulich" <JBeulich@xxxxxxxx>]

>>> On 01.12.18 at 02:32, <christopher.w.clark@xxxxxxxxx> wrote:
> Allocates an IPI-bound event channel on vcpu0 for specified domain.

Please can such changes to general code be done at the point where
they're needed? 

> Is able to bypass the existence check on vcpu number since vcpu 0
> should always exist. Bypass is required at the point of use by Argo.

"Should" is not a sufficient criteria. And you leave open why such a
bypass may be needed.

As an aside, I question anyway any new interface special casing
vCPU 0.

Jan



_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel