From 9ce899230ab7c38503f9db7a3ba120577751025d Mon Sep 17 00:00:00 2001
From: mjacob <mjacob@NetBSD.org>
Date: Thu, 18 Sep 1997 01:08:56 +0000
Subject: [PATCH] After decommisioning a mapping, an IMB kinda needs to happen.

---
 sys/arch/alpha/alpha/pmap.old.c | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/sys/arch/alpha/alpha/pmap.old.c b/sys/arch/alpha/alpha/pmap.old.c
index 2ee5c78b7ad5..4540c4f9aee9 100644
--- a/sys/arch/alpha/alpha/pmap.old.c
+++ b/sys/arch/alpha/alpha/pmap.old.c
@@ -1,4 +1,4 @@
-/* $NetBSD: pmap.old.c,v 1.23 1997/09/16 01:52:01 thorpej Exp $ */
+/* $NetBSD: pmap.old.c,v 1.24 1997/09/18 01:08:56 mjacob Exp $ */
 
 /* 
  * Copyright (c) 1991, 1993
@@ -98,7 +98,7 @@
 
 #include <sys/cdefs.h>			/* RCS ID & Copyright macro defns */
 
-__KERNEL_RCSID(0, "$NetBSD: pmap.old.c,v 1.23 1997/09/16 01:52:01 thorpej Exp $");
+__KERNEL_RCSID(0, "$NetBSD: pmap.old.c,v 1.24 1997/09/18 01:08:56 mjacob Exp $");
 
 #include <sys/param.h>
 #include <sys/systm.h>
@@ -1795,8 +1795,11 @@ pmap_remove_mapping(pmap, va, pte, flags)
 		printf("remove: invalidating pte at %p\n", pte);
 #endif
 	*pte = PG_NV;
-	if ((flags & PRM_TFLUSH) && active_pmap(pmap))
+
+	if ((flags & PRM_TFLUSH) && active_pmap(pmap)) {
 		ALPHA_TBIS(va);
+		alpha_pal_imb();
+	}
 	/*
 	 * For user mappings decrement the wiring count on
 	 * the PT page.  We do this after the PTE has been