@@ -26,14 +26,20 @@
void pgd_clear_bad(pgd_t *pgd)
{
- pgd_ERROR(*pgd);
+ char str[PTVAL_STR_MAX];
+
+ ptval_to_str(str, pgd_val(*pgd));
+ pr_err("bad pgd %s.\n", str);
pgd_clear(pgd);
}
#ifndef __PAGETABLE_P4D_FOLDED
void p4d_clear_bad(p4d_t *p4d)
{
- p4d_ERROR(*p4d);
+ char str[PTVAL_STR_MAX];
+
+ ptval_to_str(str, p4d_val(*p4d));
+ pr_err("bad p4d %s.\n", str);
p4d_clear(p4d);
}
#endif
@@ -41,7 +47,10 @@ void p4d_clear_bad(p4d_t *p4d)
#ifndef __PAGETABLE_PUD_FOLDED
void pud_clear_bad(pud_t *pud)
{
- pud_ERROR(*pud);
+ char str[PTVAL_STR_MAX];
+
+ ptval_to_str(str, pud_val(*pud));
+ pr_err("bad pud %s.\n", str);
pud_clear(pud);
}
#endif
@@ -53,7 +62,10 @@ void pud_clear_bad(pud_t *pud)
*/
void pmd_clear_bad(pmd_t *pmd)
{
- pmd_ERROR(*pmd);
+ char str[PTVAL_STR_MAX];
+
+ ptval_to_str(str, pmd_val(*pmd));
+ pr_err("bad pmd %s.\n", str);
pmd_clear(pmd);
}