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 a03b7279efa0..cfbb4a738011 100644 --- a/arch/x86/mm/fault.c +++ b/arch/x86/mm/fault.c | |||
@@ -225,12 +225,10 @@ static inline pmd_t *vmalloc_sync_one(pgd_t *pgd, unsigned long address) | |||
225 | if (!pmd_present(*pmd_k)) | 225 | if (!pmd_present(*pmd_k)) |
226 | return NULL; | 226 | return NULL; |
227 | 227 | ||
228 | if (!pmd_present(*pmd)) { | 228 | if (!pmd_present(*pmd)) |
229 | set_pmd(pmd, *pmd_k); | 229 | set_pmd(pmd, *pmd_k); |
230 | arch_flush_lazy_mmu_mode(); | 230 | else |
231 | } else { | ||
232 | BUG_ON(pmd_page(*pmd) != pmd_page(*pmd_k)); | 231 | BUG_ON(pmd_page(*pmd) != pmd_page(*pmd_k)); |
233 | } | ||
234 | 232 | ||
235 | return pmd_k; | 233 | return pmd_k; |
236 | } | 234 | } |