From mboxrd@z Thu Jan 1 00:00:00 1970 From: Daniel De Graaf Subject: Re: [PATCH v2 08/21] xen/arm: Initialize the virtual GIC later Date: Wed, 06 Aug 2014 13:06:06 -0400 Message-ID: <53E2607E.60607@tycho.nsa.gov> References: <1406818852-31856-1-git-send-email-julien.grall@linaro.org> <1406818852-31856-9-git-send-email-julien.grall@linaro.org> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; Format="flowed" Content-Transfer-Encoding: 7bit Return-path: Received: from mail6.bemta3.messagelabs.com ([195.245.230.39]) by lists.xen.org with esmtp (Exim 4.72) (envelope-from ) id 1XF4fU-0004pA-Tj for xen-devel@lists.xenproject.org; Wed, 06 Aug 2014 17:06:29 +0000 In-Reply-To: <1406818852-31856-9-git-send-email-julien.grall@linaro.org> List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xen.org Errors-To: xen-devel-bounces@lists.xen.org To: Julien Grall , xen-devel@lists.xenproject.org Cc: Ian Jackson , stefano.stabellini@citrix.com, tim@xen.org, ian.campbell@citrix.com, Jan Beulich List-Id: xen-devel@lists.xenproject.org On 07/31/2014 11:00 AM, Julien Grall wrote: > The virtual GIC may differ between each guest (number of SPIs, emulate GIC > version...). Those informations may not be know when the domain is created > (for instance in case of migration). Therefore, move the VGIC initialization > in a separate function. > > Introduce a new DOMCTL for ARM to configure the domain. This has to be called > before setting the maximum number of VCPUs for the guest. > > For the moment, only configure the number SPIs. New informations could be > added later. > > Signed-off-by: Julien Grall > Cc: Ian Jackson > Cc: Daniel De Graaf > Cc: Jan Beulich For the XSM parts: Acked-by: Daniel De Graaf