xen/arm: Use the hardware ID to boot correctly secondary cpus
authorJulien Grall <julien.grall@linaro.org>
Thu, 26 Sep 2013 11:09:41 +0000 (12:09 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Thu, 26 Sep 2013 14:44:58 +0000 (15:44 +0100)
commit7b8684682785531f8a347c476357eaececc2526c
tree3dd9296572612b3aea1dfae60126dddf3ed291c3
parentff9b41bb347b08114dd89cdc8e45bfc1d1b12511
xen/arm: Use the hardware ID to boot correctly secondary cpus

Secondary CPUs will spin in head.S until their MPIDR[23:0] correspond to
the smp_up_cpu. Actually Xen will set the value with the logical CPU ID
which is wrong. Use the cpu_logical_map to get the correct CPU ID.

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/smpboot.c
xen/include/asm-arm/init.h