Searched refs: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() argument186 WRITE_ONCE(*p4d, p4dval); in set_p4d()
374 p4dval_t p4dval = P4D_TYPE_TABLE | P4D_TABLE_UXN | P4D_TABLE_AF; in alloc_init_pud() local378 p4dval |= P4D_TABLE_PXN; in alloc_init_pud()386 __p4d_populate(p4dp, pud_phys, p4dval); in alloc_init_pud()