Lines Matching defs:p4d
113 static inline void p4d_populate(struct mm_struct *mm, p4d_t *p4d, pud_t *pud)
116 set_p4d(p4d, __p4d(_PAGE_TABLE | __pa(pud)));
119 static inline void p4d_populate_safe(struct mm_struct *mm, p4d_t *p4d, pud_t *pud)
122 set_p4d_safe(p4d, __p4d(_PAGE_TABLE | __pa(pud)));
134 static inline void pgd_populate(struct mm_struct *mm, pgd_t *pgd, p4d_t *p4d)
138 paravirt_alloc_p4d(mm, __pa(p4d) >> PAGE_SHIFT);
139 set_pgd(pgd, __pgd(_PAGE_TABLE | __pa(p4d)));
142 static inline void pgd_populate_safe(struct mm_struct *mm, pgd_t *pgd, p4d_t *p4d)
146 paravirt_alloc_p4d(mm, __pa(p4d) >> PAGE_SHIFT);
147 set_pgd_safe(pgd, __pgd(_PAGE_TABLE | __pa(p4d)));
150 extern void ___p4d_free_tlb(struct mmu_gather *tlb, p4d_t *p4d);
152 static inline void __p4d_free_tlb(struct mmu_gather *tlb, p4d_t *p4d,
156 ___p4d_free_tlb(tlb, p4d);