From mboxrd@z Thu Jan 1 00:00:00 1970 From: Ian Campbell Subject: Re: [PATCH] xen: arm: ignore CPUs which are not marked available in the DT Date: Wed, 23 Jul 2014 19:36:50 +0100 Message-ID: <1406140610.29480.5.camel@dagon.hellion.org.uk> References: <1f69ed8ee6a21c2a0c4d548ae83260b14c54ab36.1406133950.git.ian.campbell@citrix.com> <53CFEDB3.4000702@linaro.org> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Return-path: In-Reply-To: <53CFEDB3.4000702@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 Cc: stefano.stabellini@eu.citrix.com, tim@xen.org, xen-devel@lists.xen.org List-Id: xen-devel@lists.xenproject.org On Wed, 2014-07-23 at 18:15 +0100, Julien Grall wrote: > Hi Ian, > > On 07/23/2014 05:45 PM, Ian Campbell wrote: > > Signed-off-by: Ian Campbell > > --- > > xen/arch/arm/smpboot.c | 3 +++ > > 1 file changed, 3 insertions(+) > > > > diff --git a/xen/arch/arm/smpboot.c b/xen/arch/arm/smpboot.c > > index cf149da..4b0a738 100644 > > --- a/xen/arch/arm/smpboot.c > > +++ b/xen/arch/arm/smpboot.c > > @@ -134,6 +134,9 @@ void __init smp_init_cpus(void) > > if ( !dt_device_type_is_equal(cpu, "cpu") ) > > continue; > > > > + if ( !dt_device_is_available(cpu) ) > > + continue; > > + > > I can't find a such things on the Linux device tree bindings. status is a generic property which is common to all nodes, it comes from ePAPR. > Do you > have a use case where CPU are marked disabled? I use it locally when booting with models -- it allows me to turn off cpus in the base .dts file using a wrapper instead of having to edit the original. Ian.