368 #define p4d_access_permitted(p4d, write) \  argument
369 	(p4d_present(p4d) && (!(write) || p4d_write(p4d)))
538 static inline int p4d_none_or_clear_bad(p4d_t *p4d)  in p4d_none_or_clear_bad()  argument
540 	if (p4d_none(*p4d))  in p4d_none_or_clear_bad()
542 	if (unlikely(p4d_bad(*p4d))) {  in p4d_none_or_clear_bad()
543 		p4d_clear_bad(p4d);  in p4d_none_or_clear_bad()
1005 int p4d_set_huge(p4d_t *p4d, phys_addr_t addr, pgprot_t prot);
1006 int p4d_clear_huge(p4d_t *p4d);
1008 static inline int p4d_set_huge(p4d_t *p4d, phys_addr_t addr, pgprot_t prot)  in p4d_set_huge()  argument
1012 static inline int p4d_clear_huge(p4d_t *p4d)  in p4d_clear_huge()  argument
1025 static inline int p4d_set_huge(p4d_t *p4d, phys_addr_t addr, pgprot_t prot)  in p4d_set_huge()  argument
1037 static inline int p4d_clear_huge(p4d_t *p4d)  in p4d_clear_huge()  argument