Lines Matching refs: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)));
159 static inline void p4d_free(struct mm_struct *mm, p4d_t *p4d)
164 BUG_ON((unsigned long)p4d & (PAGE_SIZE-1));
165 free_page((unsigned long)p4d);
168 extern void ___p4d_free_tlb(struct mmu_gather *tlb, p4d_t *p4d);
170 static inline void __p4d_free_tlb(struct mmu_gather *tlb, p4d_t *p4d,
174 ___p4d_free_tlb(tlb, p4d);