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