189 static inline int p4d_none(p4d_t p4d)  in p4d_none()  argument
191 	return p4d_val(p4d) == (unsigned long)invalid_pud_table;  in p4d_none()
194 static inline int p4d_bad(p4d_t p4d)  in p4d_bad()  argument
196 	if (unlikely(p4d_val(p4d) & ~PAGE_MASK))  in p4d_bad()
202 static inline int p4d_present(p4d_t p4d)  in p4d_present()  argument
204 	return p4d_val(p4d) != (unsigned long)invalid_pud_table;  in p4d_present()
212 static inline pud_t *p4d_pgtable(p4d_t p4d)  in p4d_pgtable()  argument
214 	return (pud_t *)p4d_val(p4d);  in p4d_pgtable()
217 #define p4d_phys(p4d)		virt_to_phys((void *)p4d_val(p4d))  argument
218 #define p4d_page(p4d)		(pfn_to_page(p4d_phys(p4d) >> PAGE_SHIFT))  argument
222 static inline void set_p4d(p4d_t *p4d, p4d_t p4dval)  in set_p4d()  argument
224 	*p4d = p4dval;  in set_p4d()