From mboxrd@z Thu Jan 1 00:00:00 1970 From: Julien Grall Subject: Re: [PATCH for-4.6 2/4] xen/arm: vgic: Keep track of vIRQ used by a domain Date: Tue, 13 Jan 2015 17:34:12 +0000 Message-ID: <54B55714.2070705@linaro.org> References: <1418395392-30460-1-git-send-email-julien.grall@linaro.org> <1418395392-30460-3-git-send-email-julien.grall@linaro.org> <1421164286.19103.129.camel@citrix.com> <54B5476C.6010207@linaro.org> <1421167596.19103.157.camel@citrix.com> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Return-path: Received: from mail6.bemta14.messagelabs.com ([193.109.254.103]) by lists.xen.org with esmtp (Exim 4.72) (envelope-from ) id 1YB5MZ-0002vT-62 for xen-devel@lists.xenproject.org; Tue, 13 Jan 2015 17:34:43 +0000 Received: by mail-we0-f169.google.com with SMTP id m14so4293537wev.0 for ; Tue, 13 Jan 2015 09:34:41 -0800 (PST) In-Reply-To: <1421167596.19103.157.camel@citrix.com> List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xen.org Errors-To: xen-devel-bounces@lists.xen.org To: Ian Campbell Cc: christoffer.dall@linaro.org, xen-devel@lists.xenproject.org, tim@xen.org, parth.dixit@linaro.org, stefano.stabellini@citrix.com List-Id: xen-devel@lists.xenproject.org On 13/01/15 16:46, Ian Campbell wrote: >> We need to track everything for interrupt assignment to a guest/dom0. So >> if the guest ask for a free vIRQ we can give it directly. > > Makes sense. > > In that case you 0/4 mail doesn't fully describe the use case for the > series, since it talks about the dom0 PPI only. Sorry I skipped this comment by inadvertence. My cover letter was explaining the current use case, I didn't think to explain the future use case. I will update the cover letter. Regards, -- Julien Grall