Re: [Bug #11313] Plugging HDMI causes "unable to handle kernel paging request"

Jeremy Fitzhardinge
2008-08-19T23:53:59Z

Rafał Miłecki wrote:
> Bug still exists in current git (tested 15 minutes ago).
>

Could you apply this patch and post the output of dmesg from booting (no
need to crash it again).

Thanks,
J

diff -r 3f465c361b3c arch/x86/mm/init_64.c
--- a/arch/x86/mm/init_64.c Wed Aug 13 20:50:10 2008 -0700
+++ b/arch/x86/mm/init_64.c Tue Aug 19 16:50:10 2008 -0700
@@ -331,6 +331,8 @@
}

if (pmd_val(*pmd)) {
+ printk("addr %lx reusing pmd %lx %016lx\n",
+ address, __pa(pmd), pmd_val(*pmd));
if (!pmd_large(*pmd))
last_map_addr = phys_pte_update(pmd, address,
end);
@@ -392,6 +394,8 @@
}

if (pud_val(*pud)) {
+ printk("addr %lx reusing pud %lx %016lx\n",
+ addr, __pa(pud), pud_val(*pud));
if (!pud_large(*pud))
last_map_addr = phys_pmd_update(pud, addr, end,
page_size_mask);
@@ -500,6 +504,8 @@
next = end;

if (pgd_val(*pgd)) {
+ printk("addr %lx reusing pgd %lx %016lx\n",
+ __pa(start), __pa(pgd), pgd_val(*pgd));
last_map_addr = phys_pud_update(pgd, __pa(start),
__pa(end), page_size_mask);
continue;