[src/trunk]: src/sys/arch/arm/pic Use KASSERTMSG

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

details:   https://anonhg.NetBSD.org/src/rev/35dd1338668c
branches:  trunk
changeset: 789751:35dd1338668c
user:      matt <matt%NetBSD.org@localhost>
date:      Sat Sep 07 00:32:02 2013 +0000

description:
Use KASSERTMSG

diffstat:

 sys/arch/arm/pic/pic.c |  7 ++++---
 1 files changed, 4 insertions(+), 3 deletions(-)

diffs (28 lines):

diff -r 12abc01375f5 -r 35dd1338668c sys/arch/arm/pic/pic.c
--- a/sys/arch/arm/pic/pic.c    Sat Sep 07 00:31:10 2013 +0000
+++ b/sys/arch/arm/pic/pic.c    Sat Sep 07 00:32:02 2013 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: pic.c,v 1.16 2013/08/19 07:06:06 skrll Exp $   */
+/*     $NetBSD: pic.c,v 1.17 2013/09/07 00:32:02 matt Exp $    */
 /*-
  * Copyright (c) 2008 The NetBSD Foundation, Inc.
  * All rights reserved.
@@ -28,7 +28,7 @@
  * POSSIBILITY OF SUCH DAMAGE.
  */
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: pic.c,v 1.16 2013/08/19 07:06:06 skrll Exp $");
+__KERNEL_RCSID(0, "$NetBSD: pic.c,v 1.17 2013/09/07 00:32:02 matt Exp $");
 
 #define _INTR_PRIVATE
 #include <sys/param.h>
@@ -527,7 +527,8 @@
        printf("%s: pic_sourcebase=%zu pic_maxsources=%zu\n",
            pic->pic_name, pic_sourcebase, pic->pic_maxsources);
 #endif
-       KASSERT(pic->pic_maxsources <= PIC_MAXSOURCES);
+       KASSERTMSG(pic->pic_maxsources <= PIC_MAXSOURCES, "%zu",
+           pic->pic_maxsources);
        KASSERT(pic_sourcebase + pic->pic_maxsources <= PIC_MAXMAXSOURCES);
 
        /*