Module Name: src
Committed By: rin
Date: Wed Sep 8 00:24:29 UTC 2021
Modified Files:
src/sys/arch/sh3/sh3: pmap.c
Log Message:
Turn KASSERT's added for PR port-sh3/56381 into KDASSERT's;
they are less likely expected to fire again.
To generate a diff of this commit:
cvs rdiff -u -r1.87 -r1.88 src/sys/arch/sh3/sh3/pmap.c
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
Modified files:
Index: src/sys/arch/sh3/sh3/pmap.c
diff -u src/sys/arch/sh3/sh3/pmap.c:1.87 src/sys/arch/sh3/sh3/pmap.c:1.88
--- src/sys/arch/sh3/sh3/pmap.c:1.87 Thu Sep 2 08:02:33 2021
+++ src/sys/arch/sh3/sh3/pmap.c Wed Sep 8 00:24:29 2021
@@ -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 @@ pmap_page_protect(struct vm_page *pg, vm
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);
}
