[src/trunk]: src/sys/arch/x86/x86 pmap_enter_gnt():

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

details:   https://anonhg.NetBSD.org/src/rev/ebde618a7437
branches:  trunk
changeset: 938122:ebde618a7437
user:      bouyer <bouyer%NetBSD.org@localhost>
date:      Wed Sep 02 17:37:57 2020 +0000

description:
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.

diffstat:

 sys/arch/x86/x86/pmap.c |  6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)

diffs (27 lines):

diff -r a6c10139e3a1 -r ebde618a7437 sys/arch/x86/x86/pmap.c
--- a/sys/arch/x86/x86/pmap.c   Wed Sep 02 17:07:45 2020 +0000
+++ b/sys/arch/x86/x86/pmap.c   Wed Sep 02 17:37:57 2020 +0000
@@ -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 @@
                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);
        }