>>> On 01.12.18 at 02:32, <christopher.w.cl...@gmail.com> 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@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel