41 #define pud_populate(mm,pmd,pte)	do { } while (0)  argument
43 #define pud_populate(mm,pmd,pte)	BUG()  argument
50 static inline void clean_pte_table(pte_t *pte)  in clean_pte_table()  argument
52 	clean_dcache_area(pte + PTE_HWTABLE_PTRS, PTE_HWTABLE_SIZE);  in clean_pte_table()
56  * Allocate one PTE table.
58  * This actually allocates two hardware PTE tables, but we wrap this up
80 	pte_t *pte = __pte_alloc_one_kernel(mm);  in pte_alloc_one_kernel()  local
82 	if (pte)  in pte_alloc_one_kernel()
83 		clean_pte_table(pte);  in pte_alloc_one_kernel()
85 	return pte;  in pte_alloc_one_kernel()
97 	struct page *pte;  in pte_alloc_one()  local
99 	pte = __pte_alloc_one(mm, GFP_PGTABLE_USER | PGTABLE_HIGHMEM);  in pte_alloc_one()
100 	if (!pte)  in pte_alloc_one()
102 	if (!PageHighMem(pte))  in pte_alloc_one()
103 		clean_pte_table(page_address(pte));  in pte_alloc_one()
104 	return pte;  in pte_alloc_one()
107 static inline void __pmd_populate(pmd_t *pmdp, phys_addr_t pte,  in __pmd_populate()  argument
110 	pmdval_t pmdval = (pte + PTE_HWTABLE_OFF) | prot;  in __pmd_populate()
119  * Populate the pmdp entry with a pointer to the pte.  This pmd is part
128 	 * The pmd must be loaded with the physical address of the PTE table  in pmd_populate_kernel()