Lines Matching refs:p4d_t
205 static inline unsigned long p4d_pfn(p4d_t p4d) in p4d_pfn()
216 static inline int p4d_large(p4d_t p4d) in p4d_large()
872 static inline int p4d_none(p4d_t p4d) in p4d_none()
877 static inline int p4d_present(p4d_t p4d) in p4d_present()
882 static inline pud_t *p4d_pgtable(p4d_t p4d) in p4d_pgtable()
893 static inline int p4d_bad(p4d_t p4d) in p4d_bad()
929 static inline p4d_t *p4d_offset(pgd_t *pgd, unsigned long address) in p4d_offset()
932 return (p4d_t *)pgd; in p4d_offset()
933 return (p4d_t *)pgd_page_vaddr(*pgd) + p4d_index(address); in p4d_offset()
1206 static inline p4d_t *kernel_to_user_p4dp(p4d_t *p4dp) in kernel_to_user_p4dp()
1211 static inline p4d_t *user_to_kernel_p4dp(p4d_t *p4dp) in user_to_kernel_p4dp()