From a108cff192022dcd2800c2ff17909b0f630c242d Mon Sep 17 00:00:00 2001
From: cherry <cherry@NetBSD.org>
Date: Sat, 25 Feb 2012 19:32:27 +0000
Subject: [PATCH] (xen) Flush the xpq before broadcasting page invalidate.

---
 sys/arch/x86/x86/pmap.c | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/sys/arch/x86/x86/pmap.c b/sys/arch/x86/x86/pmap.c
index e640cec185cb..dc0a57cf732c 100644
--- a/sys/arch/x86/x86/pmap.c
+++ b/sys/arch/x86/x86/pmap.c
@@ -1,4 +1,4 @@
-/*	$NetBSD: pmap.c,v 1.174 2012/02/25 12:33:53 cherry Exp $	*/
+/*	$NetBSD: pmap.c,v 1.175 2012/02/25 19:32:27 cherry Exp $	*/
 
 /*-
  * Copyright (c) 2008, 2010 The NetBSD Foundation, Inc.
@@ -171,7 +171,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: pmap.c,v 1.174 2012/02/25 12:33:53 cherry Exp $");
+__KERNEL_RCSID(0, "$NetBSD: pmap.c,v 1.175 2012/02/25 19:32:27 cherry Exp $");
 
 #include "opt_user_ldt.h"
 #include "opt_lockdebug.h"
@@ -2168,6 +2168,7 @@ pmap_pdp_dtor(void *arg, void *v)
 		/* Set page RW again */
 		pte = kvtopte(object);
 		pmap_pte_set(pte, *pte | PG_RW);
+		pmap_pte_flush();
 		xen_bcast_invlpg((vaddr_t)object);
 	}
 	splx(s);