[src/trunk]: src/sys/arch/vax/vax Be a little bit more generous with TBIA.

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

details:   https://anonhg.NetBSD.org/src/rev/07664a8fc58d
branches:  trunk
changeset: 484988:07664a8fc58d
user:      ragge <ragge%NetBSD.org@localhost>
date:      Sun Apr 16 09:42:22 2000 +0000

description:
Be a little bit more generous with TBIA.

diffstat:

 sys/arch/vax/vax/pmap.c |  10 +++++-----
 1 files changed, 5 insertions(+), 5 deletions(-)

diffs (52 lines):

diff -r cbe69ee07401 -r 07664a8fc58d sys/arch/vax/vax/pmap.c
--- a/sys/arch/vax/vax/pmap.c   Sun Apr 16 09:41:51 2000 +0000
+++ b/sys/arch/vax/vax/pmap.c   Sun Apr 16 09:42:22 2000 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: pmap.c,v 1.77 2000/04/02 20:39:18 thorpej Exp $           */
+/*     $NetBSD: pmap.c,v 1.78 2000/04/16 09:42:22 ragge Exp $     */
 /*
  * Copyright (c) 1994, 1998, 1999 Ludd, University of Lule}, Sweden.
  * All rights reserved.
@@ -726,6 +726,7 @@
        /* No mapping change. Can this happen??? */
        if (newpte == oldpte) {
                RECURSEEND;
+               mtpr(1, PR_TBIA); /* Always; safety belt */
                return (KERN_SUCCESS);
        }
 
@@ -757,9 +758,6 @@
                        pv->pv_next = tmp;
                }
                splx(s);
-       } else {
-               /* No mapping change, just flush the TLB */
-               mtpr(0, PR_TBIA);
        }
        pmap->pm_stats.resident_count++;
 
@@ -787,6 +785,7 @@
        if (pventries < 10)
                more_pventries();
 
+       mtpr(1, PR_TBIA); /* Always; safety belt */
        return (KERN_SUCCESS);
 }
 
@@ -963,7 +962,7 @@
                pts += LTOHPN;
        }
        RECURSEEND;
-       mtpr(0,PR_TBIA);
+       mtpr(1, PR_TBIA);
 }
 
 int pmap_simulref(int bits, int addr);
@@ -1076,6 +1075,7 @@
                    pv->pv_pte[4].pg_v = pv->pv_pte[5].pg_v = 
                    pv->pv_pte[6].pg_v = pv->pv_pte[7].pg_v = 0;
        RECURSEEND;
+       mtpr(1, PR_TBIA);
        return TRUE; /* XXX */
 }