--- driver/dtrace_linux.c.orig 2009-12-22 20:33:02.239383000 +0000 +++ driver/dtrace_linux.c 2009-12-22 20:35:01.870196000 +0000 @@ -1450,7 +1450,15 @@ // printk("yy: pmd=%lx\n", *pmd); return 0; } - pte = pte_offset_kernel(pmd, addr); + + if (pmd_large(*pmd)) + pte = (pte_t *)pmd; + else + pte = pte_offset_kernel(pmd, addr); + + if (pte_none(*pte)) + return 0; + if (dump_tree) { printk("yy -- begin\n"); print_pte((pte_t *) pgd, 0);