Module Name: src
Committed By: skrll
Date: Sun Jul 23 07:25:36 UTC 2023
Modified Files:
src/sys/uvm/pmap: pmap_segtab.c
Log Message:
KASSERT -> KASSERTMSG
To generate a diff of this commit:
cvs rdiff -u -r1.32 -r1.33 src/sys/uvm/pmap/pmap_segtab.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/uvm/pmap/pmap_segtab.c
diff -u src/sys/uvm/pmap/pmap_segtab.c:1.32 src/sys/uvm/pmap/pmap_segtab.c:1.33
--- src/sys/uvm/pmap/pmap_segtab.c:1.32 Sat Jul 1 07:10:13 2023
+++ src/sys/uvm/pmap/pmap_segtab.c Sun Jul 23 07:25:36 2023
@@ -1,4 +1,4 @@
-/* $NetBSD: pmap_segtab.c,v 1.32 2023/07/01 07:10:13 skrll Exp $ */
+/* $NetBSD: pmap_segtab.c,v 1.33 2023/07/23 07:25:36 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.32 2023/07/01 07:10:13 skrll Exp $");
+__KERNEL_RCSID(0, "$NetBSD: pmap_segtab.c,v 1.33 2023/07/23 07:25:36 skrll Exp $");
/*
* Manages physical address maps.
@@ -282,7 +282,10 @@ pmap_ptpage(struct pmap *pmap, vaddr_t v
// UVMHIST_LOG(pmaphist, "pm_pdetab %#jx", ptb, 0, 0, 0);
- KASSERT(pmap != pmap_kernel() || !pmap_md_direct_mapped_vaddr_p(va));
+ KASSERTMSG(pmap != pmap_kernel() || !pmap_md_direct_mapped_vaddr_p(va),
+ "pmap_kernel: %s, va %#" PRIxVADDR,
+ pmap == pmap_kernel() ? "true" : "false",
+ pmap == pmap_kernel() ? va : 0);
#ifdef _LP64
for (size_t segshift = XSEGSHIFT;
