38 pte_t *get_pte(pgd_t *pgtable, uintptr_t vaddr)  in get_pte()  argument
40 	pte_t *ptep = (pte_t *)pgtable;  in get_pte()
42 	assert(pgtable && !((uintptr_t)pgtable & ~PAGE_MASK));  in get_pte()
57 static pteval_t *__install_page(pgd_t *pgtable, phys_addr_t paddr,  in __install_page()  argument
66 	ptep = get_pte(pgtable, vaddr);  in __install_page()
76 pteval_t *install_page(pgd_t *pgtable, phys_addr_t phys, void *virt)  in install_page()  argument
83 	return __install_page(pgtable, paddr, vaddr,  in install_page()
87 void mmu_set_range_ptes(pgd_t *pgtable, uintptr_t virt_offset,  in mmu_set_range_ptes()  argument
100 		__install_page(pgtable, paddr, vaddr, prot, flush);  in mmu_set_range_ptes()
119 void mmu_enable(unsigned long mode, pgd_t *pgtable)  in mmu_enable()  argument
121 	unsigned long ppn = __pa(pgtable) >> PAGE_SHIFT;  in mmu_enable()
131 	pgd_t *pgtable;  in setup_mmu()  local
138 	pgtable = __initial_pgtable;  in setup_mmu()
144 			mmu_set_range_ptes(pgtable, r->start, r->start, r->end,  in setup_mmu()
147 			mmu_set_range_ptes(pgtable, r->start, r->start, r->end,  in setup_mmu()
152 	mmu_enable(SATP_MODE_DEFAULT, pgtable);  in setup_mmu()
154 	return pgtable;  in setup_mmu()
161 	pgd_t *pgtable = current_pgtable();  in ioremap()  local
167 	if (!pgtable) {  in ioremap()
170 		pgtable = __initial_pgtable;  in ioremap()
174 	mmu_set_range_ptes(pgtable, start, start, end,  in ioremap()
180 phys_addr_t virt_to_pte_phys(pgd_t *pgtable, void *virt)  in virt_to_pte_phys()  argument
183 	pte_t *ptep = (pte_t *)pgtable;  in virt_to_pte_phys()
185 	assert(pgtable && !((uintptr_t)pgtable & ~PAGE_MASK));  in virt_to_pte_phys()
204 	pgd_t *pgtable = (pgd_t *)((satp & SATP_PPN) << PAGE_SHIFT);  in virt_to_phys()  local
209 	return virt_to_pte_phys(pgtable, (void *)address);  in virt_to_phys()