diff options
Diffstat (limited to 'arch/x86/mm/fault.c')
-rw-r--r-- | arch/x86/mm/fault.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/arch/x86/mm/fault.c b/arch/x86/mm/fault.c index b9ca6d767dbb..5ec7ae366615 100644 --- a/arch/x86/mm/fault.c +++ b/arch/x86/mm/fault.c | |||
@@ -201,12 +201,10 @@ static inline pmd_t *vmalloc_sync_one(pgd_t *pgd, unsigned long address) | |||
201 | if (!pmd_present(*pmd_k)) | 201 | if (!pmd_present(*pmd_k)) |
202 | return NULL; | 202 | return NULL; |
203 | 203 | ||
204 | if (!pmd_present(*pmd)) { | 204 | if (!pmd_present(*pmd)) |
205 | set_pmd(pmd, *pmd_k); | 205 | set_pmd(pmd, *pmd_k); |
206 | arch_flush_lazy_mmu_mode(); | 206 | else |
207 | } else { | ||
208 | BUG_ON(pmd_page(*pmd) != pmd_page(*pmd_k)); | 207 | BUG_ON(pmd_page(*pmd) != pmd_page(*pmd_k)); |
209 | } | ||
210 | 208 | ||
211 | return pmd_k; | 209 | return pmd_k; |
212 | } | 210 | } |