[src/trunk]: src/sys/arch/arm/arm32 KASSERT in cpu_hatch that AUXCTL.SMP is s...

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

details:   https://anonhg.NetBSD.org/src/rev/26997d1a1a36
branches:  trunk
changeset: 338285:26997d1a1a36
user:      matt <matt%NetBSD.org@localhost>
date:      Sun May 17 05:34:53 2015 +0000

description:
KASSERT in cpu_hatch that AUXCTL.SMP is set for Cortex CPUs.

diffstat:

 sys/arch/arm/arm32/arm32_boot.c |  9 +++++++--
 1 files changed, 7 insertions(+), 2 deletions(-)

diffs (30 lines):

diff -r 99d5a2420d59 -r 26997d1a1a36 sys/arch/arm/arm32/arm32_boot.c
--- a/sys/arch/arm/arm32/arm32_boot.c   Sun May 17 05:22:43 2015 +0000
+++ b/sys/arch/arm/arm32/arm32_boot.c   Sun May 17 05:34:53 2015 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: arm32_boot.c,v 1.15 2015/05/04 00:55:30 matt Exp $     */
+/*     $NetBSD: arm32_boot.c,v 1.16 2015/05/17 05:34:53 matt Exp $     */
 
 /*
  * Copyright (c) 2002, 2003, 2005  Genetec Corporation.  All rights reserved.
@@ -123,7 +123,7 @@
 
 #include <sys/cdefs.h>
 
-__KERNEL_RCSID(1, "$NetBSD: arm32_boot.c,v 1.15 2015/05/04 00:55:30 matt Exp $");
+__KERNEL_RCSID(1, "$NetBSD: arm32_boot.c,v 1.16 2015/05/17 05:34:53 matt Exp $");
 
 #include "opt_ddb.h"
 #include "opt_kgdb.h"
@@ -331,6 +331,11 @@
         */
        splhigh();
 
+#ifdef CPU_CORTEX
+       KASSERTMSG(armreg_auxctl_read() & CORTEXA9_AUXCTL_SMP, "auxctl %#x",
+           armreg_auxctl_read());
+#endif
+
 #ifdef VERBOSE_INIT_ARM
        printf("%s(%s): ", __func__, ci->ci_data.cpu_name);
 #endif