|
@@ -708,19 +708,19 @@ void __readwrite_bug(const char *fn)
|
|
|
}
|
|
|
EXPORT_SYMBOL(__readwrite_bug);
|
|
|
|
|
|
-void __pte_error(const char *file, int line, unsigned long val)
|
|
|
+void __pte_error(const char *file, int line, pte_t pte)
|
|
|
{
|
|
|
- printk("%s:%d: bad pte %08lx.\n", file, line, val);
|
|
|
+ printk("%s:%d: bad pte %08lx.\n", file, line, pte_val(pte));
|
|
|
}
|
|
|
|
|
|
-void __pmd_error(const char *file, int line, unsigned long val)
|
|
|
+void __pmd_error(const char *file, int line, pmd_t pmd)
|
|
|
{
|
|
|
- printk("%s:%d: bad pmd %08lx.\n", file, line, val);
|
|
|
+ printk("%s:%d: bad pmd %08lx.\n", file, line, pmd_val(pmd));
|
|
|
}
|
|
|
|
|
|
-void __pgd_error(const char *file, int line, unsigned long val)
|
|
|
+void __pgd_error(const char *file, int line, pgd_t pgd)
|
|
|
{
|
|
|
- printk("%s:%d: bad pgd %08lx.\n", file, line, val);
|
|
|
+ printk("%s:%d: bad pgd %08lx.\n", file, line, pgd_val(pgd));
|
|
|
}
|
|
|
|
|
|
asmlinkage void __div0(void)
|