diff options
Diffstat (limited to 'arch/x86/mm/fault.c')
| -rw-r--r-- | arch/x86/mm/fault.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/arch/x86/mm/fault.c b/arch/x86/mm/fault.c index 3fff490254a9..ad8b9733d6b3 100644 --- a/arch/x86/mm/fault.c +++ b/arch/x86/mm/fault.c | |||
| @@ -240,7 +240,8 @@ void dump_pagetable(unsigned long address) | |||
| 240 | pud = pud_offset(pgd, address); | 240 | pud = pud_offset(pgd, address); |
| 241 | if (bad_address(pud)) goto bad; | 241 | if (bad_address(pud)) goto bad; |
| 242 | printk("PUD %lx ", pud_val(*pud)); | 242 | printk("PUD %lx ", pud_val(*pud)); |
| 243 | if (!pud_present(*pud)) goto ret; | 243 | if (!pud_present(*pud) || pud_large(*pud)) |
| 244 | goto ret; | ||
| 244 | 245 | ||
| 245 | pmd = pmd_offset(pud, address); | 246 | pmd = pmd_offset(pud, address); |
| 246 | if (bad_address(pmd)) goto bad; | 247 | if (bad_address(pmd)) goto bad; |
