[src/trunk]: src/sys/kern Change two KASSERTs to KASSERTMSG

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

details:   https://anonhg.NetBSD.org/src/rev/6a394b2ec281
branches:  trunk
changeset: 789768:6a394b2ec281
user:      matt <matt%NetBSD.org@localhost>
date:      Sat Sep 07 03:34:59 2013 +0000

description:
Change two KASSERTs to KASSERTMSG

diffstat:

 sys/kern/kern_softint.c |  10 ++++++----
 1 files changed, 6 insertions(+), 4 deletions(-)

diffs (38 lines):

diff -r ccdeda6f6199 -r 6a394b2ec281 sys/kern/kern_softint.c
--- a/sys/kern/kern_softint.c   Sat Sep 07 03:34:20 2013 +0000
+++ b/sys/kern/kern_softint.c   Sat Sep 07 03:34:59 2013 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: kern_softint.c,v 1.39 2013/01/07 23:21:31 rmind Exp $  */
+/*     $NetBSD: kern_softint.c,v 1.40 2013/09/07 03:34:59 matt Exp $   */
 
 /*-
  * Copyright (c) 2007, 2008 The NetBSD Foundation, Inc.
@@ -176,7 +176,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: kern_softint.c,v 1.39 2013/01/07 23:21:31 rmind Exp $");
+__KERNEL_RCSID(0, "$NetBSD: kern_softint.c,v 1.40 2013/09/07 03:34:59 matt Exp $");
 
 #include <sys/param.h>
 #include <sys/proc.h>
@@ -403,7 +403,8 @@
        u_int flags;
 
        offset = (uintptr_t)arg;
-       KASSERT(offset != 0 && offset < softint_bytes);
+       KASSERTMSG(offset != 0 && offset < softint_bytes, "%"PRIuPTR" %u",
+           offset, softint_bytes);
 
        /*
         * Run a cross call so we see up to date values of sh_flags from
@@ -462,7 +463,8 @@
 
        /* Find the handler record for this CPU. */
        offset = (uintptr_t)arg;
-       KASSERT(offset != 0 && offset < softint_bytes);
+       KASSERTMSG(offset != 0 && offset < softint_bytes, "%"PRIuPTR" %u",
+           offset, softint_bytes);
        sh = (softhand_t *)((uint8_t *)curcpu()->ci_data.cpu_softcpu + offset);
 
        /* If it's already pending there's nothing to do. */