Module Name: src
Committed By: ryo
Date: Mon Jul 9 06:08:42 UTC 2018
Modified Files:
src/sys/arch/arm/pic: pic.c
Log Message:
fix false positive KASSERT.
the case that secondary processors failed to hatch, and not attached.
when "cpu1 at cpus0: disabled (unresponsive)"
To generate a diff of this commit:
cvs rdiff -u -r1.42 -r1.43 src/sys/arch/arm/pic/pic.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/pic/pic.c
diff -u src/sys/arch/arm/pic/pic.c:1.42 src/sys/arch/arm/pic/pic.c:1.43
--- src/sys/arch/arm/pic/pic.c:1.42 Sun Apr 1 04:35:04 2018
+++ src/sys/arch/arm/pic/pic.c Mon Jul 9 06:08:42 2018
@@ -1,4 +1,4 @@
-/* $NetBSD: pic.c,v 1.42 2018/04/01 04:35:04 ryo Exp $ */
+/* $NetBSD: pic.c,v 1.43 2018/07/09 06:08:42 ryo Exp $ */
/*-
* Copyright (c) 2008 The NetBSD Foundation, Inc.
* All rights reserved.
@@ -33,7 +33,7 @@
#include "opt_multiprocessor.h"
#include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: pic.c,v 1.42 2018/04/01 04:35:04 ryo Exp $");
+__KERNEL_RCSID(0, "$NetBSD: pic.c,v 1.43 2018/07/09 06:08:42 ryo Exp $");
#include <sys/param.h>
#include <sys/atomic.h>
@@ -201,7 +201,7 @@ intr_ipi_send(const kcpuset_t *kcp, u_lo
sent_p = true;
}
}
- KASSERT(cold || sent_p || arm_cpu_max == 1);
+ KASSERT(cold || sent_p || ncpu <= 1);
}
#endif /* MULTIPROCESSOR */
