[src/trunk]: src/sys/arch/mips/mips Change a KASSERT to KASSERTMSG

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

details:   https://anonhg.NetBSD.org/src/rev/ca28c89c890d
branches:  trunk
changeset: 763874:ca28c89c890d
user:      matt <matt%NetBSD.org@localhost>
date:      Wed Apr 06 05:23:59 2011 +0000

description:
Change a KASSERT to KASSERTMSG

diffstat:

 sys/arch/mips/mips/mips_softint.c |  9 ++++++---
 1 files changed, 6 insertions(+), 3 deletions(-)

diffs (32 lines):

diff -r d92c92965ff3 -r ca28c89c890d sys/arch/mips/mips/mips_softint.c
--- a/sys/arch/mips/mips/mips_softint.c Wed Apr 06 05:13:36 2011 +0000
+++ b/sys/arch/mips/mips/mips_softint.c Wed Apr 06 05:23:59 2011 +0000
@@ -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) {
                /*