Module Name: src
Committed By: matt
Date: Wed Apr 6 05:23:59 UTC 2011
Modified Files:
src/sys/arch/mips/mips: mips_softint.c
Log Message:
Change a KASSERT to KASSERTMSG
To generate a diff of this commit:
cvs rdiff -u -r1.3 -r1.4 src/sys/arch/mips/mips/mips_softint.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/mips/mips/mips_softint.c
diff -u src/sys/arch/mips/mips/mips_softint.c:1.3 src/sys/arch/mips/mips/mips_softint.c:1.4
--- src/sys/arch/mips/mips/mips_softint.c:1.3 Sun Feb 20 16:38:13 2011
+++ src/sys/arch/mips/mips/mips_softint.c Wed Apr 6 05:23:59 2011
@@ -1,4 +1,4 @@
-/* $NetBSD: mips_softint.c,v 1.3 2011/02/20 16:38:13 rmind Exp $ */
+/* $NetBSD: mips_softint.c,v 1.4 2011/04/06 05:23:59 matt Exp $ */
/*-
* Copyright (c) 2009, 2010 The NetBSD Foundation, Inc.
@@ -30,9 +30,10 @@
*/
#include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: mips_softint.c,v 1.3 2011/02/20 16:38:13 rmind Exp $");
+__KERNEL_RCSID(0, "$NetBSD: mips_softint.c,v 1.4 2011/04/06 05:23:59 matt Exp $");
#include <sys/param.h>
+#include <sys/cpu.h>
#include <sys/proc.h>
#include <sys/lwp.h>
#include <sys/intr.h>
@@ -115,7 +116,9 @@
KASSERT((ipending & MIPS_SOFT_INT_MASK) != 0);
KASSERT((ipending & ~MIPS_SOFT_INT_MASK) == 0);
KASSERT(ci->ci_cpl == IPL_HIGH);
- KASSERT(ci->ci_mtx_count == 0);
+ KASSERTMSG(ci->ci_mtx_count == 0,
+ ("%s: cpu%u (%p): ci_mtx_count (%d) != 0",
+ __func__, cpu_index(ci), ci, ci->ci_mtx_count));
if (ipending & MIPS_SOFT_INT_MASK_0) {
/*
