368 #define p4d_access_permitted(p4d, write) \  argument
369 	(p4d_present(p4d) && (!(write) || p4d_write(p4d)))
429 #define set_p4d_safe(p4dp, p4d) \  argument
431 	WARN_ON_ONCE(p4d_present(*p4dp) && !p4d_same(*p4dp, p4d)); \
432 	set_p4d(p4dp, p4d); \
576 static inline int p4d_none_or_clear_bad(p4d_t *p4d)  in p4d_none_or_clear_bad()  argument
578 	if (p4d_none(*p4d))  in p4d_none_or_clear_bad()
580 	if (unlikely(p4d_bad(*p4d))) {  in p4d_none_or_clear_bad()
581 		p4d_clear_bad(p4d);  in p4d_none_or_clear_bad()
1042 int p4d_set_huge(p4d_t *p4d, phys_addr_t addr, pgprot_t prot);
1043 int p4d_clear_huge(p4d_t *p4d);
1045 static inline int p4d_set_huge(p4d_t *p4d, phys_addr_t addr, pgprot_t prot)  in p4d_set_huge()  argument
1049 static inline int p4d_clear_huge(p4d_t *p4d)  in p4d_clear_huge()  argument
1059 int p4d_free_pud_page(p4d_t *p4d, unsigned long addr);
1063 static inline int p4d_set_huge(p4d_t *p4d, phys_addr_t addr, pgprot_t prot)  in p4d_set_huge()  argument
1075 static inline int p4d_clear_huge(p4d_t *p4d)  in p4d_clear_huge()  argument
1087 static inline int p4d_free_pud_page(p4d_t *p4d, unsigned long addr)  in p4d_free_pud_page()  argument