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

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

@@ -159,8 +159,7 @@ 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...

*/

- if (mm == current->active_mm)

- write_cr3(read_cr3());

+ flush_tlb_mm(mm);

}

#else /* !CONFIG_X86_PAE */