28 	phys_addr_t paddr = pteval_to_phys_addr(pteval);  in pteval_to_ptep()  local
29 	assert(paddr == __pa(paddr));  in pteval_to_ptep()
30 	return (pte_t *)__pa(paddr);  in pteval_to_ptep()
57 static pteval_t *__install_page(pgd_t *pgtable, phys_addr_t paddr,  in __install_page()  argument
60 	phys_addr_t ppn = (paddr >> PAGE_SHIFT) << PPN_SHIFT;  in __install_page()
78 	phys_addr_t paddr = phys & PHYS_PAGE_MASK;  in install_page()  local
83 	return __install_page(pgtable, paddr, vaddr,  in install_page()
91 	phys_addr_t paddr = phys_start & PHYS_PAGE_MASK;  in mmu_set_range_ptes()  local
93 	uintptr_t virt_end = phys_end - paddr + vaddr;  in mmu_set_range_ptes()
99 	for (; vaddr < virt_end; vaddr += PAGE_SIZE, paddr += PAGE_SIZE)  in mmu_set_range_ptes()
100 		__install_page(pgtable, paddr, vaddr, prot, flush);  in mmu_set_range_ptes()