Lines Matching refs:p4d_t
232 static inline unsigned long p4d_pfn(p4d_t p4d) in p4d_pfn()
242 static inline int p4d_large(p4d_t p4d) in p4d_large()
900 static inline int p4d_none(p4d_t p4d) in p4d_none()
905 static inline int p4d_present(p4d_t p4d) in p4d_present()
910 static inline unsigned long p4d_page_vaddr(p4d_t p4d) in p4d_page_vaddr()
922 static inline pud_t *pud_offset(p4d_t *p4d, unsigned long address) in pud_offset()
927 static inline int p4d_bad(p4d_t p4d) in p4d_bad()
963 static inline p4d_t *p4d_offset(pgd_t *pgd, unsigned long address) in p4d_offset()
966 return (p4d_t *)pgd; in p4d_offset()
967 return (p4d_t *)pgd_page_vaddr(*pgd) + p4d_index(address); in p4d_offset()
1276 static inline p4d_t *kernel_to_user_p4dp(p4d_t *p4dp) in kernel_to_user_p4dp()
1281 static inline p4d_t *user_to_kernel_p4dp(p4d_t *p4dp) in user_to_kernel_p4dp()