42 static inline void pte_free_kernel(struct mm_struct *mm, pte_t *pte)  in pte_free_kernel()  argument
44 	BUG_ON((unsigned long)pte & (PAGE_SIZE-1));  in pte_free_kernel()
45 	free_page((unsigned long)pte);  in pte_free_kernel()
48 static inline void pte_free(struct mm_struct *mm, struct page *pte)  in pte_free()  argument
50 	pgtable_page_dtor(pte);  in pte_free()
51 	__free_page(pte);  in pte_free()
54 extern void ___pte_free_tlb(struct mmu_gather *tlb, struct page *pte);
56 static inline void __pte_free_tlb(struct mmu_gather *tlb, struct page *pte,  in __pte_free_tlb()  argument
59 	___pte_free_tlb(tlb, pte);  in __pte_free_tlb()
63 				       pmd_t *pmd, pte_t *pte)  in pmd_populate_kernel()  argument
65 	paravirt_alloc_pte(mm, __pa(pte) >> PAGE_SHIFT);  in pmd_populate_kernel()
66 	set_pmd(pmd, __pmd(__pa(pte) | _PAGE_TABLE));  in pmd_populate_kernel()
70 				struct page *pte)  in pmd_populate()  argument
72 	unsigned long pfn = page_to_pfn(pte);  in pmd_populate()