[src/trunk]: src/sys/arch/arm/arm32 Report hatched value after the atomic_or ...

[skrll <skrll%NetBSD.org@localhost>]

details:   https://anonhg.NetBSD.org/src/rev/a11d30b8638d
branches:  trunk
changeset: 448528:a11d30b8638d
user:      skrll <skrll%NetBSD.org@localhost>
date:      Mon Feb 04 13:12:03 2019 +0000

description:
Report hatched value after the atomic_or so the VERBOSE_INIT_ARM output
doesn't get mangled.

We start a cpu and wait for it before progressing now.

diffstat:

 sys/arch/arm/arm32/arm32_machdep.c |  14 +++++++-------
 1 files changed, 7 insertions(+), 7 deletions(-)

diffs (37 lines):

diff -r d468110fa988 -r a11d30b8638d sys/arch/arm/arm32/arm32_machdep.c
--- a/sys/arch/arm/arm32/arm32_machdep.c        Mon Feb 04 13:08:43 2019 +0000
+++ b/sys/arch/arm/arm32/arm32_machdep.c        Mon Feb 04 13:12:03 2019 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: arm32_machdep.c,v 1.126 2019/01/21 07:46:20 skrll Exp $        */
+/*     $NetBSD: arm32_machdep.c,v 1.127 2019/02/04 13:12:03 skrll Exp $        */
 
 /*
  * Copyright (c) 1994-1998 Mark Brinicombe.
@@ -42,7 +42,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: arm32_machdep.c,v 1.126 2019/01/21 07:46:20 skrll Exp $");
+__KERNEL_RCSID(0, "$NetBSD: arm32_machdep.c,v 1.127 2019/02/04 13:12:03 skrll Exp $");
 
 #include "opt_arm_debug.h"
 #include "opt_arm_start.h"
@@ -769,13 +769,13 @@
        VPRINTS(")");
 #endif
 
+       VPRINTS(" hatched=");
+       VPRINTX(arm_cpu_hatched | __BIT(cpuindex));
+       VPRINTS("\n\r");
+
        atomic_or_uint(&arm_cpu_hatched, __BIT(cpuindex));
 
-       VPRINTS(" hatched=");
-       VPRINTX(arm_cpu_hatched);
-       VPRINTS("\n\r");
-
-       /* return to assembly to Wait for cpu_boot_secondary_processors */
+       /* return to assembly to wait for cpu_boot_secondary_processors */
 }
 
 void