From bd7a85f9a4040a117696c43985932243df70def7 Mon Sep 17 00:00:00 2001 From: Julien Grall Date: Mon, 7 Oct 2013 15:44:35 +0100 Subject: xen/arm32: Call start_xen only on the boot CPU The boot CPU can have a CPU ID non-equal to zero. Xen needs to check the logical CPU ID (in r12) to know if the CPU is the boot one. Signed-off-by: Julien Grall Acked-by: Ian Campbell --- xen/arch/arm/arm32/head.S | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/xen/arch/arm/arm32/head.S b/xen/arch/arm/arm32/head.S index 92b3c4896f..ce1d21a8e3 100644 --- a/xen/arch/arm/arm32/head.S +++ b/xen/arch/arm/arm32/head.S @@ -403,7 +403,8 @@ launch: sub sp, #CPUINFO_sizeof /* Make room for CPU save record */ mov r0, r10 /* Marshal args: - phys_offset */ mov r1, r8 /* - DTB address */ - movs r2, r7 /* - CPU ID */ + mov r2, r7 /* - CPU ID */ + teq r12, #0 beq start_xen /* and disappear into the land of C */ b start_secondary /* (to the appropriate entry point) */ -- cgit v1.2.3