From mboxrd@z Thu Jan 1 00:00:00 1970 From: Julien Grall Subject: Re: [PATCH v4 05/17] xen/arm: ITS: implement hw_irq_controller for LPIs Date: Wed, 15 Jul 2015 16:22:47 +0200 Message-ID: <55A66CB7.5070702@citrix.com> References: <1436514172-3263-1-git-send-email-vijay.kilari@gmail.com> <1436514172-3263-6-git-send-email-vijay.kilari@gmail.com> <55A42B1C.2030600@citrix.com> <55A61940.9010408@citrix.com> <1436952729.11153.28.camel@citrix.com> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; Format="flowed" Content-Transfer-Encoding: 7bit Return-path: In-Reply-To: List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xen.org Errors-To: xen-devel-bounces@lists.xen.org To: Vijay Kilari , Ian Campbell Cc: Stefano Stabellini , Prasun Kapoor , Vijaya Kumar K , Tim Deegan , "xen-devel@lists.xen.org" , Stefano Stabellini , manish.jaggi@caviumnetworks.com List-Id: xen-devel@lists.xenproject.org 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