[src/trunk]: src/sys/arch/sh3/sh3 Turn KASSERT's added for PR port-sh3/56381 ...

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

details:   https://anonhg.NetBSD.org/src/rev/e5e85df9cbbf
branches:  trunk
changeset: 1023449:e5e85df9cbbf
user:      rin <rin%NetBSD.org@localhost>
date:      Wed Sep 08 00:24:29 2021 +0000

description:
Turn KASSERT's added for PR port-sh3/56381 into KDASSERT's;
they are less likely expected to fire again.

diffstat:

 sys/arch/sh3/sh3/pmap.c |  10 +++++-----
 1 files changed, 5 insertions(+), 5 deletions(-)

diffs (32 lines):

diff -r 71aa84ad5e76 -r e5e85df9cbbf sys/arch/sh3/sh3/pmap.c
--- a/sys/arch/sh3/sh3/pmap.c   Wed Sep 08 00:17:21 2021 +0000
+++ b/sys/arch/sh3/sh3/pmap.c   Wed Sep 08 00:24:29 2021 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: pmap.c,v 1.87 2021/09/02 08:02:33 rin Exp $    */
+/*     $NetBSD: pmap.c,v 1.88 2021/09/08 00:24:29 rin Exp $    */
 
 /*-
  * Copyright (c) 2002 The NetBSD Foundation, Inc.
@@ -30,7 +30,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: pmap.c,v 1.87 2021/09/02 08:02:33 rin Exp $");
+__KERNEL_RCSID(0, "$NetBSD: pmap.c,v 1.88 2021/09/08 00:24:29 rin Exp $");
 
 #include <sys/param.h>
 #include <sys/systm.h>
@@ -737,10 +737,10 @@
                while ((pv = SLIST_FIRST(&pvh->pvh_head)) != NULL) {
                        pmap = pv->pv_pmap;
                        va = pv->pv_va;
-#ifdef DIAGNOSTIC
+#ifdef DEBUG
                        pt_entry_t *pte = __pmap_pte_lookup(pmap, va);
-                       KASSERT(pte != NULL);
-                       KASSERT(*pte != 0);
+                       KDASSERT(pte != NULL);
+                       KDASSERT(*pte != 0);
 #endif
                        pmap_remove(pmap, va, va + PAGE_SIZE);
                }