Searched defs:p4dval (Results 1 – 3 of 3) sorted by relevance
72 #define set_p4d(p4dptr, p4dval) (*(p4dptr) = (p4dval)) argument
184 static inline void set_p4d(p4d_t *p4d, p4d_t p4dval) in set_p4d()
374 p4dval_t p4dval = P4D_TYPE_TABLE | P4D_TABLE_UXN | P4D_TABLE_AF; in alloc_init_pud() local