184 static inline int p4d_none(p4d_t p4d)  in p4d_none()  argument
186 	return p4d_val(p4d) == (unsigned long)invalid_pud_table;  in p4d_none()
189 static inline int p4d_bad(p4d_t p4d)  in p4d_bad()  argument
191 	if (unlikely(p4d_val(p4d) & ~PAGE_MASK))  in p4d_bad()
197 static inline int p4d_present(p4d_t p4d)  in p4d_present()  argument
199 	return p4d_val(p4d) != (unsigned long)invalid_pud_table;  in p4d_present()
207 static inline pud_t *p4d_pgtable(p4d_t p4d)  in p4d_pgtable()  argument
209 	return (pud_t *)p4d_val(p4d);  in p4d_pgtable()
212 #define p4d_phys(p4d)		virt_to_phys((void *)p4d_val(p4d))  argument
213 #define p4d_page(p4d)		(pfn_to_page(p4d_phys(p4d) >> PAGE_SHIFT))  argument
217 static inline void set_p4d(p4d_t *p4d, p4d_t p4dval)  in set_p4d()  argument
219 	*p4d = p4dval;  in set_p4d()