--- arch/x86/mm/pgtable.c

+++ arch/x86/mm/pgtable.c

@@ -159,7 +159,8 @@ void pud_populate(struct mm_struct *mm,

* section 8.1: in PAE mode we explicitly have to flush the

* TLB via cr3 if the top-level pgd is changed...

*/

- flush_tlb_mm(mm);

+ if (mm == current->active_mm)

+ write_cr3(read_cr3());

}

#else /* !CONFIG_X86_PAE */