Lines Matching refs:p4d_t
204 static inline unsigned long p4d_pfn(p4d_t p4d) in p4d_pfn()
215 static inline int p4d_large(p4d_t p4d) in p4d_large()
870 static inline int p4d_none(p4d_t p4d) in p4d_none()
875 static inline int p4d_present(p4d_t p4d) in p4d_present()
880 static inline pud_t *p4d_pgtable(p4d_t p4d) in p4d_pgtable()
891 static inline int p4d_bad(p4d_t p4d) in p4d_bad()
927 static inline p4d_t *p4d_offset(pgd_t *pgd, unsigned long address) in p4d_offset()
930 return (p4d_t *)pgd; in p4d_offset()
931 return (p4d_t *)pgd_page_vaddr(*pgd) + p4d_index(address); in p4d_offset()
1204 static inline p4d_t *kernel_to_user_p4dp(p4d_t *p4dp) in kernel_to_user_p4dp()
1209 static inline p4d_t *user_to_kernel_p4dp(p4d_t *p4dp) in user_to_kernel_p4dp()