Module Name:    src
Committed By:   bouyer
Date:           Wed Sep  2 17:37:57 UTC 2020

Modified Files:
        src/sys/arch/x86/x86: pmap.c

Log Message:
pmap_enter_gnt():
An empty PTP has a wire_count of 1, so KASSERT > 1 if we're sure we have
at last one entry.


To generate a diff of this commit:
cvs rdiff -u -r1.405 -r1.406 src/sys/arch/x86/x86/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/x86/x86/pmap.c
diff -u src/sys/arch/x86/x86/pmap.c:1.405 src/sys/arch/x86/x86/pmap.c:1.406
--- src/sys/arch/x86/x86/pmap.c:1.405	Wed Sep  2 17:07:45 2020
+++ src/sys/arch/x86/x86/pmap.c	Wed Sep  2 17:37:57 2020
@@ -1,4 +1,4 @@
-/*	$NetBSD: pmap.c,v 1.405 2020/09/02 17:07:45 bouyer Exp $	*/
+/*	$NetBSD: pmap.c,v 1.406 2020/09/02 17:37:57 bouyer Exp $	*/
 
 /*
  * Copyright (c) 2008, 2010, 2016, 2017, 2019, 2020 The NetBSD Foundation, Inc.
@@ -130,7 +130,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: pmap.c,v 1.405 2020/09/02 17:07:45 bouyer Exp $");
+__KERNEL_RCSID(0, "$NetBSD: pmap.c,v 1.406 2020/09/02 17:37:57 bouyer Exp $");
 
 #include "opt_user_ldt.h"
 #include "opt_lockdebug.h"
@@ -5263,7 +5263,7 @@ pmap_enter_gnt(struct pmap *pmap, vaddr_
 		if (!have_oldpa) {
 			ptp->wire_count++;
 		}
-		KASSERT(ptp->wire_count >= 1);
+		KASSERT(ptp->wire_count > 1);
 		/* Remember minimum VA in PTP. */
 		pmap_ptp_range_set(ptp, va);
 	}

Reply via email to