Lines Matching refs:p4d
115 static inline void p4d_populate(struct mm_struct *mm, p4d_t *p4d, pud_t *pud)
118 set_p4d(p4d, __p4d(_PAGE_TABLE | __pa(pud)));
121 static inline void p4d_populate_safe(struct mm_struct *mm, p4d_t *p4d, pud_t *pud)
124 set_p4d_safe(p4d, __p4d(_PAGE_TABLE | __pa(pud)));
136 static inline void pgd_populate(struct mm_struct *mm, pgd_t *pgd, p4d_t *p4d)
140 paravirt_alloc_p4d(mm, __pa(p4d) >> PAGE_SHIFT);
141 set_pgd(pgd, __pgd(_PAGE_TABLE | __pa(p4d)));
144 static inline void pgd_populate_safe(struct mm_struct *mm, pgd_t *pgd, p4d_t *p4d)
148 paravirt_alloc_p4d(mm, __pa(p4d) >> PAGE_SHIFT);
149 set_pgd_safe(pgd, __pgd(_PAGE_TABLE | __pa(p4d)));
161 static inline void p4d_free(struct mm_struct *mm, p4d_t *p4d)
166 BUG_ON((unsigned long)p4d & (PAGE_SIZE-1));
167 free_page((unsigned long)p4d);
170 extern void ___p4d_free_tlb(struct mmu_gather *tlb, p4d_t *p4d);
172 static inline void __p4d_free_tlb(struct mmu_gather *tlb, p4d_t *p4d,
176 ___p4d_free_tlb(tlb, p4d);