Lines Matching refs:p4d_t
216 static inline unsigned long p4d_pfn(p4d_t p4d) in p4d_pfn()
226 static inline int p4d_large(p4d_t p4d) in p4d_large()
884 static inline int p4d_none(p4d_t p4d) in p4d_none()
889 static inline int p4d_present(p4d_t p4d) in p4d_present()
894 static inline unsigned long p4d_page_vaddr(p4d_t p4d) in p4d_page_vaddr()
906 static inline pud_t *pud_offset(p4d_t *p4d, unsigned long address) in pud_offset()
911 static inline int p4d_bad(p4d_t p4d) in p4d_bad()
947 static inline p4d_t *p4d_offset(pgd_t *pgd, unsigned long address) in p4d_offset()
950 return (p4d_t *)pgd; in p4d_offset()
951 return (p4d_t *)pgd_page_vaddr(*pgd) + p4d_index(address); in p4d_offset()
1257 static inline p4d_t *kernel_to_user_p4dp(p4d_t *p4dp) in kernel_to_user_p4dp()
1262 static inline p4d_t *user_to_kernel_p4dp(p4d_t *p4dp) in user_to_kernel_p4dp()