diff options
author | Artur Grabowski <art@cvs.openbsd.org> | 2007-05-31 22:30:26 +0000 |
---|---|---|
committer | Artur Grabowski <art@cvs.openbsd.org> | 2007-05-31 22:30:26 +0000 |
commit | 8fff6a4134760402bb8d8b7e5d3fd7080a440638 (patch) | |
tree | 70d2c4556409c6530cb2dd6f89910767599e673a | |
parent | d9ca1e4740c71597b0d59723725882c1b2faf547 (diff) |
Well, whatever the bug was, it does not seem to appear anymore.
Remove the workaround.
(krw tried to reproduce many, many times)
-rw-r--r-- | sys/arch/i386/i386/pmap.c | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/sys/arch/i386/i386/pmap.c b/sys/arch/i386/i386/pmap.c index 408d818d58d..46955fb4776 100644 --- a/sys/arch/i386/i386/pmap.c +++ b/sys/arch/i386/i386/pmap.c @@ -1,4 +1,4 @@ -/* $OpenBSD: pmap.c,v 1.115 2007/05/29 18:18:20 tom Exp $ */ +/* $OpenBSD: pmap.c,v 1.116 2007/05/31 22:30:25 art Exp $ */ /* $NetBSD: pmap.c,v 1.91 2000/06/02 17:46:37 thorpej Exp $ */ /* @@ -1532,11 +1532,6 @@ pmap_release(struct pmap *pmap) simple_unlock(&pmaps_lock); /* - * Before we free the pmap just make sure it's not cached anywhere. - */ - tlbflushg(); - - /* * free any remaining PTPs */ |