Searched defs:__p4d_populate (Results 1 – 2 of 2) sorted by relevance
44 static inline void __p4d_populate(p4d_t *p4dp, phys_addr_t pudp, p4dval_t prot) in __p4d_populate() function57 static inline void __p4d_populate(p4d_t *p4dp, phys_addr_t pudp, p4dval_t prot) in __p4d_populate() function
19 static inline void __p4d_populate(p4d_t *p4d, pud_t *pud) in __p4d_populate() function