Module Name:    src
Committed By:   matt
Date:           Sun May 17 05:34:53 UTC 2015

Modified Files:
        src/sys/arch/arm/arm32: arm32_boot.c

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


To generate a diff of this commit:
cvs rdiff -u -r1.15 -r1.16 src/sys/arch/arm/arm32/arm32_boot.c

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: src/sys/arch/arm/arm32/arm32_boot.c
diff -u src/sys/arch/arm/arm32/arm32_boot.c:1.15 src/sys/arch/arm/arm32/arm32_boot.c:1.16
--- src/sys/arch/arm/arm32/arm32_boot.c:1.15	Mon May  4 00:55:30 2015
+++ src/sys/arch/arm/arm32/arm32_boot.c	Sun May 17 05:34:53 2015
@@ -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 @@ cpu_hatch(struct cpu_info *ci, cpuid_t c
 	 */
 	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

Reply via email to