From mboxrd@z Thu Jan 1 00:00:00 1970 From: Julien Grall Subject: Re: [PATCH] xen: arm: ignore CPUs which are not marked available in the DT Date: Wed, 23 Jul 2014 18:15:31 +0100 Message-ID: <53CFEDB3.4000702@linaro.org> References: <1f69ed8ee6a21c2a0c4d548ae83260b14c54ab36.1406133950.git.ian.campbell@citrix.com> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Return-path: In-Reply-To: <1f69ed8ee6a21c2a0c4d548ae83260b14c54ab36.1406133950.git.ian.campbell@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 , xen-devel@lists.xen.org Cc: tim@xen.org, stefano.stabellini@eu.citrix.com List-Id: xen-devel@lists.xenproject.org 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. Do you have a use case where CPU are marked disabled? Regards, > if ( dt_n_size_cells(cpu) != 0 ) > printk(XENLOG_WARNING "cpu node `%s`: #size-cells %d\n", > dt_node_full_name(cpu), dt_n_size_cells(cpu)); > -- Julien Grall