|
@@ -203,10 +203,18 @@ static void __init alloc_init_pmd(pud_t *pud, unsigned long addr,
|
|
do {
|
|
do {
|
|
next = pmd_addr_end(addr, end);
|
|
next = pmd_addr_end(addr, end);
|
|
/* try section mapping first */
|
|
/* try section mapping first */
|
|
- if (((addr | next | phys) & ~SECTION_MASK) == 0)
|
|
|
|
|
|
+ if (((addr | next | phys) & ~SECTION_MASK) == 0) {
|
|
|
|
+ pmd_t old_pmd =*pmd;
|
|
set_pmd(pmd, __pmd(phys | prot_sect_kernel));
|
|
set_pmd(pmd, __pmd(phys | prot_sect_kernel));
|
|
- else
|
|
|
|
|
|
+ /*
|
|
|
|
+ * Check for previous table entries created during
|
|
|
|
+ * boot (__create_page_tables) and flush them.
|
|
|
|
+ */
|
|
|
|
+ if (!pmd_none(old_pmd))
|
|
|
|
+ flush_tlb_all();
|
|
|
|
+ } else {
|
|
alloc_init_pte(pmd, addr, next, __phys_to_pfn(phys));
|
|
alloc_init_pte(pmd, addr, next, __phys_to_pfn(phys));
|
|
|
|
+ }
|
|
phys += next - addr;
|
|
phys += next - addr;
|
|
} while (pmd++, addr = next, addr != end);
|
|
} while (pmd++, addr = next, addr != end);
|
|
}
|
|
}
|