Lines Matching refs:p4d_t
233 static inline unsigned long p4d_pfn(p4d_t p4d) in p4d_pfn()
244 static inline int p4d_large(p4d_t p4d) in p4d_large()
899 static inline int p4d_none(p4d_t p4d) in p4d_none()
904 static inline int p4d_present(p4d_t p4d) in p4d_present()
909 static inline unsigned long p4d_page_vaddr(p4d_t p4d) in p4d_page_vaddr()
920 static inline int p4d_bad(p4d_t p4d) in p4d_bad()
956 static inline p4d_t *p4d_offset(pgd_t *pgd, unsigned long address) in p4d_offset()
959 return (p4d_t *)pgd; in p4d_offset()
960 return (p4d_t *)pgd_page_vaddr(*pgd) + p4d_index(address); in p4d_offset()
1233 static inline p4d_t *kernel_to_user_p4dp(p4d_t *p4dp) in kernel_to_user_p4dp()
1238 static inline p4d_t *user_to_kernel_p4dp(p4d_t *p4dp) in user_to_kernel_p4dp()