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

[Ian Campbell <ian.campbell@xxxxxxxxxx>]

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;
+
         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));
-- 
1.7.10.4


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