7 extern inline void pte_free_kernel(struct mm_struct *mm, pte_t *pte)  in pte_free_kernel()  argument
9 	free_page((unsigned long) pte);  in pte_free_kernel()
39 #define pmd_populate_kernel(mm, pmd, pte) (pmd_val(*pmd) = (unsigned long)(pte))  argument
55 	pte_t *pte;  in pte_alloc_one()  local
64 	pte = kmap(page);  in pte_alloc_one()
65 	if (pte) {  in pte_alloc_one()
66 		clear_page(pte);  in pte_alloc_one()
67 		__flush_page_to_ram(pte);  in pte_alloc_one()
68 		flush_tlb_kernel_page(pte);  in pte_alloc_one()
69 		nocache_page(pte);  in pte_alloc_one()
104 #define pgd_populate(mm, pmd, pte) BUG()  argument