Searched defs:p4dval (Results 1 – 6 of 6) sorted by relevance
53 p4dval_t p4dval = P4D_TYPE_TABLE | P4D_TABLE_AF; in p4d_populate() local
40 #define set_p4d(p4dptr, p4dval) set_pud((pud_t *)(p4dptr), (pud_t) { p4dval }) argument
72 #define set_p4d(p4dptr, p4dval) (*(p4dptr) = (p4dval)) argument
217 static inline void set_p4d(p4d_t *p4d, p4d_t p4dval) in set_p4d()
158 static inline void set_p4d(p4d_t *p4d, p4d_t p4dval) in set_p4d()
336 p4dval_t p4dval = P4D_TYPE_TABLE | P4D_TABLE_UXN | P4D_TABLE_AF; in alloc_init_pud() local