348 static inline pte_t p4d_pte(p4d_t p4d)  in p4d_pte()
473 #define __p4d_to_phys(p4d)	__pte_to_phys(p4d_pte(p4d))  argument
688 #define p4d_none(p4d)		(!p4d_val(p4d))  argument
689 #define p4d_bad(p4d)		(!(p4d_val(p4d) & 2))  argument
690 #define p4d_present(p4d)	(p4d_val(p4d))  argument
692 static inline void set_p4d(p4d_t *p4dp, p4d_t p4d)  in set_p4d()
709 static inline phys_addr_t p4d_page_paddr(p4d_t p4d)  in p4d_page_paddr()
714 static inline unsigned long p4d_page_vaddr(p4d_t p4d)  in p4d_page_vaddr()
723 #define pud_set_fixmap_offset(p4d, addr)	pud_set_fixmap(pud_offset_phys(p4d, addr))  argument
726 #define p4d_page(p4d)		pfn_to_page(__phys_to_pfn(__p4d_to_phys(p4d)))  argument
733 #define p4d_page_paddr(p4d)	({ BUILD_BUG(); 0;})  argument