>>> On 12.01.15 at 10:46, <andrew.coop...@citrix.com> wrote: > The resource behind an event channel is domain centric rather than vcpu > centric, and free_xen_event_channel() only follows the vcpu's domain > pointer.
I wonder whether for symmetry alloc_unbound_xen_event_channel() shouldn't then also take a [struct domain *, unsigned int vcpu_id] pair instead of a struct vcpu *. Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel