[src/trunk]: src/sys/uvm/pmap KASSERT -> KASSERTMSG

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

details:   https://anonhg.NetBSD.org/src/rev/e3ff81495d68
branches:  trunk
changeset: 823877:e3ff81495d68
user:      skrll <skrll%NetBSD.org@localhost>
date:      Fri May 12 12:18:37 2017 +0000

description:
KASSERT -> KASSERTMSG

diffstat:

 sys/uvm/pmap/pmap_segtab.c |  7 ++++---
 1 files changed, 4 insertions(+), 3 deletions(-)

diffs (28 lines):

diff -r 9f90d4140579 -r e3ff81495d68 sys/uvm/pmap/pmap_segtab.c
--- a/sys/uvm/pmap/pmap_segtab.c        Fri May 12 12:18:07 2017 +0000
+++ b/sys/uvm/pmap/pmap_segtab.c        Fri May 12 12:18:37 2017 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: pmap_segtab.c,v 1.5 2017/05/12 12:18:07 skrll Exp $    */
+/*     $NetBSD: pmap_segtab.c,v 1.6 2017/05/12 12:18:37 skrll Exp $    */
 
 /*-
  * Copyright (c) 1998, 2001 The NetBSD Foundation, Inc.
@@ -67,7 +67,7 @@
 
 #include <sys/cdefs.h>
 
-__KERNEL_RCSID(0, "$NetBSD: pmap_segtab.c,v 1.5 2017/05/12 12:18:07 skrll Exp $");
+__KERNEL_RCSID(0, "$NetBSD: pmap_segtab.c,v 1.6 2017/05/12 12:18:37 skrll Exp $");
 
 /*
  *     Manages physical address maps.
@@ -168,7 +168,8 @@
 pmap_segmap(struct pmap *pmap, vaddr_t va)
 {
        pmap_segtab_t *stp = pmap->pm_segtab;
-       KASSERT(pmap != pmap_kernel() || !pmap_md_direct_mapped_vaddr_p(va));
+       KASSERTMSG(pmap != pmap_kernel() || !pmap_md_direct_mapped_vaddr_p(va),
+           "pmap %p va %#" PRIxVADDR, pmap, va);
 #ifdef _LP64
        stp = stp->seg_seg[(va >> XSEGSHIFT) & (NSEGPG - 1)];
        if (stp == NULL)