From 66c83fb8ec350b39226439938579482943085015 Mon Sep 17 00:00:00 2001
From: Zachary Amsden <zach@vmware.com>
Date: Tue, 21 Aug 2007 18:30:36 -0700
Subject: [PATCH] --- yaml --- r: 64192 b: refs/heads/master c:
 8b14cb9953c6b569327e9372718cff09a98f9589 h: refs/heads/master v: v3

---
 [refs]                     | 2 +-
 trunk/arch/i386/mm/fault.c | 5 +++--
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/[refs] b/[refs]
index 04972244cab7..69104cd215f2 100644
--- a/[refs]
+++ b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: cb00e99c0abd844b884c64c6b54aa3b7d345ebb1
+refs/heads/master: 8b14cb9953c6b569327e9372718cff09a98f9589
diff --git a/trunk/arch/i386/mm/fault.c b/trunk/arch/i386/mm/fault.c
index 01ffdd4964f0..fcb38e7f3543 100644
--- a/trunk/arch/i386/mm/fault.c
+++ b/trunk/arch/i386/mm/fault.c
@@ -249,9 +249,10 @@ static inline pmd_t *vmalloc_sync_one(pgd_t *pgd, unsigned long address)
 	pmd_k = pmd_offset(pud_k, address);
 	if (!pmd_present(*pmd_k))
 		return NULL;
-	if (!pmd_present(*pmd))
+	if (!pmd_present(*pmd)) {
 		set_pmd(pmd, *pmd_k);
-	else
+		arch_flush_lazy_mmu_mode();
+	} else
 		BUG_ON(pmd_page(*pmd) != pmd_page(*pmd_k));
 	return pmd_k;
 }