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

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

details:   https://anonhg.NetBSD.org/src/rev/f86c821ea3ed
branches:  trunk
changeset: 783193:f86c821ea3ed
user:      matt <matt%NetBSD.org@localhost>
date:      Mon Dec 10 06:54:23 2012 +0000

description:
Change a KASSERT to a KASSERTMSG

diffstat:

 sys/arch/arm/arm32/pmap.c |  8 +++++---
 1 files changed, 5 insertions(+), 3 deletions(-)

diffs (29 lines):

diff -r 72e525137cb7 -r f86c821ea3ed sys/arch/arm/arm32/pmap.c
--- a/sys/arch/arm/arm32/pmap.c Mon Dec 10 06:53:52 2012 +0000
+++ b/sys/arch/arm/arm32/pmap.c Mon Dec 10 06:54:23 2012 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: pmap.c,v 1.242 2012/11/12 18:00:35 skrll Exp $ */
+/*     $NetBSD: pmap.c,v 1.243 2012/12/10 06:54:23 matt Exp $  */
 
 /*
  * Copyright 2003 Wasabi Systems, Inc.
@@ -212,7 +212,7 @@
 #include <arm/cpuconf.h>
 #include <arm/arm32/katelib.h>
 
-__KERNEL_RCSID(0, "$NetBSD: pmap.c,v 1.242 2012/11/12 18:00:35 skrll Exp $");
+__KERNEL_RCSID(0, "$NetBSD: pmap.c,v 1.243 2012/12/10 06:54:23 matt Exp $");
 
 #ifdef PMAP_DEBUG
 
@@ -3050,7 +3050,9 @@
                KASSERT(uvm_page_locked_p(pg));
 #endif
                KASSERT((md->pvh_attrs & PVF_DMOD) == 0 || (md->pvh_attrs & (PVF_DIRTY|PVF_NC)));
-               KASSERT(arm_cache_prefer_mask == 0 || ((md->pvh_attrs & PVF_WRITE) == 0) == (md->urw_mappings + md->krw_mappings == 0));
+               KASSERTMSG(arm_cache_prefer_mask == 0 || ((md->pvh_attrs & PVF_WRITE) == 0) == (md->urw_mappings + md->krw_mappings == 0),
+                   "pg %p: attrs=%#x urw=%u krw=%u", pg,
+                   md->pvh_attrs, md->urw_mappings, md->krw_mappings);
        }
 #endif