Re: [Xen-devel] [PATCH v4 05/17] xen/arm: ITS: implement hw_irq_controller for LPIs

[Julien Grall <julien.grall@xxxxxxxxxx>]

On 15/07/2015 16:15, Vijay Kilari wrote:
>   Not associated with same collection. Events are associated with cpu
> for which cpu_mask is set and the collection id of that cpu is stored
> in the its_device, which is later used for SYNC. So effectively it_device
> does not store collection id associated for all Events of that device.
It wouldn't be so bad to decide in Xen that all the LPIs associated to a 
specified device are assigned to the same collection. It's kind of round 
rounbin but on device rather than LPI.
Anyway, I think it's Xen 4.7 material so you don't have to worry about 
it know.
Regards,

--
Julien Grall

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel