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@lists.xen.org http://lists.xen.org/xen-devel
