Lines Matching refs:p4d
190 static inline int p4d_none(p4d_t p4d)
192 return p4d_val(p4d) == (unsigned long)invalid_pud_table;
195 static inline int p4d_bad(p4d_t p4d)
197 if (unlikely(p4d_val(p4d) & ~PAGE_MASK))
203 static inline int p4d_present(p4d_t p4d)
205 return p4d_val(p4d) != (unsigned long)invalid_pud_table;
213 static inline pud_t *p4d_pgtable(p4d_t p4d)
215 return (pud_t *)p4d_val(p4d);
218 #define p4d_phys(p4d) virt_to_phys((void *)p4d_val(p4d))
219 #define p4d_page(p4d) (pfn_to_page(p4d_phys(p4d) >> PAGE_SHIFT))
223 static inline void set_p4d(p4d_t *p4d, p4d_t p4dval)
225 *p4d = p4dval;