75 # define set_p4d(p4dp, p4d)		native_set_p4d(p4dp, p4d)  argument
79 #define p4d_clear(p4d)			native_p4d_clear(p4d)  argument
216 static inline unsigned long p4d_pfn(p4d_t p4d)  in p4d_pfn()  argument
218 	return (p4d_val(p4d) & p4d_pfn_mask(p4d)) >> PAGE_SHIFT;  in p4d_pfn()
226 static inline int p4d_large(p4d_t p4d)  in p4d_large()  argument
884 static inline int p4d_none(p4d_t p4d)  in p4d_none()  argument
886 	return (native_p4d_val(p4d) & ~(_PAGE_KNL_ERRATUM_MASK)) == 0;  in p4d_none()
889 static inline int p4d_present(p4d_t p4d)  in p4d_present()  argument
891 	return p4d_flags(p4d) & _PAGE_PRESENT;  in p4d_present()
894 static inline unsigned long p4d_page_vaddr(p4d_t p4d)  in p4d_page_vaddr()  argument
896 	return (unsigned long)__va(p4d_val(p4d) & p4d_pfn_mask(p4d));  in p4d_page_vaddr()
903 #define p4d_page(p4d)	pfn_to_page(p4d_pfn(p4d))  argument
906 static inline pud_t *pud_offset(p4d_t *p4d, unsigned long address)  in pud_offset()  argument
908 	return (pud_t *)p4d_page_vaddr(*p4d) + pud_index(address);  in pud_offset()
911 static inline int p4d_bad(p4d_t p4d)  in p4d_bad()  argument
918 	return (p4d_flags(p4d) & ~ignore_flags) != 0;  in p4d_bad()