Searched refs:p4dval (Results 1 – 6 of 6) sorted by relevance
53 p4dval_t p4dval = P4D_TYPE_TABLE | P4D_TABLE_AF; in p4d_populate() local55 p4dval |= (mm == &init_mm) ? P4D_TABLE_UXN : P4D_TABLE_PXN; in p4d_populate()56 __p4d_populate(p4dp, __pa(pudp), p4dval); in p4d_populate()
72 #define set_p4d(p4dptr, p4dval) (*(p4dptr) = (p4dval)) argument
217 static inline void set_p4d(p4d_t *p4d, p4d_t p4dval) in set_p4d() argument219 *p4d = p4dval; in set_p4d()
158 static inline void set_p4d(p4d_t *p4d, p4d_t p4dval) in set_p4d() argument160 WRITE_ONCE(*p4d, p4dval); in set_p4d()
345 p4dval_t p4dval = P4D_TYPE_TABLE | P4D_TABLE_UXN | P4D_TABLE_AF; in alloc_init_pud() local349 p4dval |= P4D_TABLE_PXN; in alloc_init_pud()355 __p4d_populate(p4dp, pud_phys, p4dval); in alloc_init_pud()
190 void (*set_p4d)(p4d_t *p4dp, p4d_t p4dval);
Completed in 19 milliseconds