|
@@ -574,6 +574,11 @@ static inline pud_t *pud_offset(pgd_t *pgd, unsigned long address)
|
|
|
{
|
|
|
return (pud_t *)pgd_page_vaddr(*pgd) + pud_index(address);
|
|
|
}
|
|
|
+
|
|
|
+static inline int pgd_bad(pgd_t pgd)
|
|
|
+{
|
|
|
+ return (pgd_val(pgd) & ~(PTE_PFN_MASK | _PAGE_USER)) != _KERNPG_TABLE;
|
|
|
+}
|
|
|
#endif /* PAGETABLE_LEVELS > 3 */
|
|
|
|
|
|
#endif /* __ASSEMBLY__ */
|