diff --git a/[refs] b/[refs] index e7e9f2543b1d..c468a389a7df 100644 --- a/[refs] +++ b/[refs] @@ -1,2 +1,2 @@ --- -refs/heads/master: 9210807cb5a3f19a0e954dd401e3a2c3626d1b48 +refs/heads/master: 252d4c276dc0895834af48743579cf19d1fa150b diff --git a/trunk/arch/arm/mm/fault.c b/trunk/arch/arm/mm/fault.c index 2df8d9facf57..ffd8b228a139 100644 --- a/trunk/arch/arm/mm/fault.c +++ b/trunk/arch/arm/mm/fault.c @@ -14,6 +14,7 @@ #include #include #include +#include #include #include @@ -83,13 +84,14 @@ void show_pte(struct mm_struct *mm, unsigned long addr) break; } -#ifndef CONFIG_HIGHMEM /* We must not map this if we have highmem enabled */ + if (PageHighMem(pfn_to_page(pmd_val(*pmd) >> PAGE_SHIFT))) + break; + pte = pte_offset_map(pmd, addr); printk(", *pte=%08lx", pte_val(*pte)); printk(", *ppte=%08lx", pte_val(pte[-PTRS_PER_PTE])); pte_unmap(pte); -#endif } while(0); printk("\n");