Re: [Xen-devel] [PATCH] xen: arm: ignore CPUs which are not marked available in the DT

[Julien Grall <julien.grall@xxxxxxxxxx>]

Hi Ian,

On 07/23/2014 05:45 PM, Ian Campbell wrote:
> Signed-off-by: Ian Campbell <ian.campbell@xxxxxxxxxx>
> ---
>  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

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel