190 static inline int p4d_none(p4d_t p4d)  in p4d_none()  argument
192 	return p4d_val(p4d) == (unsigned long)invalid_pud_table;  in p4d_none()
195 static inline int p4d_bad(p4d_t p4d)  in p4d_bad()  argument
197 	if (unlikely(p4d_val(p4d) & ~PAGE_MASK))  in p4d_bad()
203 static inline int p4d_present(p4d_t p4d)  in p4d_present()  argument
205 	return p4d_val(p4d) != (unsigned long)invalid_pud_table;  in p4d_present()
213 static inline unsigned long p4d_page_vaddr(p4d_t p4d)  in p4d_page_vaddr()  argument
215 	return p4d_val(p4d);  in p4d_page_vaddr()
218 #define p4d_phys(p4d)		virt_to_phys((void *)p4d_val(p4d))  argument
219 #define p4d_page(p4d)		(pfn_to_page(p4d_phys(p4d) >> PAGE_SHIFT))  argument
223 static inline void set_p4d(p4d_t *p4d, p4d_t p4dval)  in set_p4d()  argument
225 	*p4d = p4dval;  in set_p4d()