692 static inline int p4d_folded(p4d_t p4d)  in p4d_folded()
697 static inline int p4d_present(p4d_t p4d)  in p4d_present()
704 static inline int p4d_none(p4d_t p4d)  in p4d_none()
711 static inline unsigned long p4d_pfn(p4d_t p4d)  in p4d_pfn()
775 static inline int p4d_bad(p4d_t p4d)  in p4d_bad()
966 static inline void set_p4d(p4d_t *p4dp, p4d_t p4d)  in set_p4d()
992 static inline void p4d_clear(p4d_t *p4d)  in p4d_clear()
1424 static inline p4d_t *p4d_offset_lockless(pgd_t *pgdp, pgd_t pgd, unsigned long address)  in p4d_offset_lockless()
1427 		return (p4d_t *) pgd_deref(pgd) + p4d_index(address);  in p4d_offset_lockless()
1428 	return (p4d_t *) pgdp;  in p4d_offset_lockless()
1432 static inline p4d_t *p4d_offset(pgd_t *pgdp, unsigned long address)  in p4d_offset()
1437 static inline pud_t *pud_offset_lockless(p4d_t *p4dp, p4d_t p4d, unsigned long address)  in pud_offset_lockless()
1445 static inline pud_t *pud_offset(p4d_t *p4dp, unsigned long address)  in pud_offset()