[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

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.


Julien Grall

Xen-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.