Module Name: src
Committed By: skrll
Date: Wed Sep 6 11:51:33 UTC 2017
Modified Files:
src/sys/arch/arm/arm32: pmap.c
Log Message:
Remove useless KASSERT - we can't assert !mutex_owned()
To generate a diff of this commit:
cvs rdiff -u -r1.356 -r1.357 src/sys/arch/arm/arm32/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/arm/arm32/pmap.c
diff -u src/sys/arch/arm/arm32/pmap.c:1.356 src/sys/arch/arm/arm32/pmap.c:1.357
--- src/sys/arch/arm/arm32/pmap.c:1.356 Sat Sep 2 12:24:39 2017
+++ src/sys/arch/arm/arm32/pmap.c Wed Sep 6 11:51:33 2017
@@ -1,4 +1,4 @@
-/* $NetBSD: pmap.c,v 1.356 2017/09/02 12:24:39 skrll Exp $ */
+/* $NetBSD: pmap.c,v 1.357 2017/09/06 11:51:33 skrll Exp $ */
/*
* Copyright 2003 Wasabi Systems, Inc.
@@ -217,7 +217,7 @@
#include <arm/locore.h>
-__KERNEL_RCSID(0, "$NetBSD: pmap.c,v 1.356 2017/09/02 12:24:39 skrll Exp $");
+__KERNEL_RCSID(0, "$NetBSD: pmap.c,v 1.357 2017/09/06 11:51:33 skrll Exp $");
//#define PMAP_DEBUG
#ifdef PMAP_DEBUG
@@ -3779,9 +3779,6 @@ pmap_kenter_pa(vaddr_t va, paddr_t pa, v
pool_put(&pmap_pv_pool, pv);
#endif
}
-#if !defined(ARM_MMU_EXTENDED)
- KASSERT(md == NULL || !pmap_page_locked_p(md));
-#endif
if (pmap_initialized) {
UVMHIST_LOG(maphist, " <-- done (ptep %p: %#x -> %#x)",
ptep, opte, npte, 0);
