138 static inline void p4d_populate(struct mm_struct *mm, p4d_t *p4d, pud_t *pud)  in p4d_populate()  argument
141 	set_p4d(p4d, __p4d(_PAGE_TABLE | __pa(pud)));  in p4d_populate()
168 static inline void pgd_populate(struct mm_struct *mm, pgd_t *pgd, p4d_t *p4d)  in pgd_populate()  argument
172 	paravirt_alloc_p4d(mm, __pa(p4d) >> PAGE_SHIFT);  in pgd_populate()
173 	set_pgd(pgd, __pgd(_PAGE_TABLE | __pa(p4d)));  in pgd_populate()
185 static inline void p4d_free(struct mm_struct *mm, p4d_t *p4d)  in p4d_free()  argument
190 	BUG_ON((unsigned long)p4d & (PAGE_SIZE-1));  in p4d_free()
191 	free_page((unsigned long)p4d);  in p4d_free()
194 extern void ___p4d_free_tlb(struct mmu_gather *tlb, p4d_t *p4d);
196 static inline void __p4d_free_tlb(struct mmu_gather *tlb, p4d_t *p4d,  in __p4d_free_tlb()  argument
200 		___p4d_free_tlb(tlb, p4d);  in __p4d_free_tlb()