33 	return current_cpu()->pgtable != NULL;  in mmu_enabled()
36 void mmu_enable(pgd_t *pgtable)  in mmu_enable()  argument
40 	if (!pgtable)  in mmu_enable()
41 		pgtable = identity_pgd;  in mmu_enable()
43 	cpu->pgtable = pgtable;  in mmu_enable()
53 	cpu->pgtable = NULL;  in mmu_disable()
59 static pteval_t *get_pte(pgd_t *pgtable, uintptr_t vaddr)  in get_pte()  argument
61 	pgd_t *pgd = pgd_offset(pgtable, vaddr);  in get_pte()
69 static pteval_t *install_pte(pgd_t *pgtable, uintptr_t vaddr, pteval_t pte)  in install_pte()  argument
71 	pteval_t *p_pte = get_pte(pgtable, vaddr);  in install_pte()
83 static pteval_t *install_page_prot(pgd_t *pgtable, phys_addr_t phys,  in install_page_prot()  argument
89 	return install_pte(pgtable, vaddr, pte);  in install_page_prot()
92 pteval_t *install_page(pgd_t *pgtable, phys_addr_t phys, void *virt)  in install_page()  argument
94 	if (!pgtable)  in install_page()
95 		pgtable = identity_pgd;  in install_page()
97 	return install_page_prot(pgtable, phys, (uintptr_t)virt,  in install_page()
104 static pteval_t *follow_pte(pgd_t *pgtable, uintptr_t vaddr)  in follow_pte()  argument
111 	pgd = pgd_offset(pgtable, vaddr);  in follow_pte()
132 phys_addr_t virt_to_pte_phys(pgd_t *pgtable, void *virt)  in virt_to_pte_phys()  argument
137 	if (!pgtable)  in virt_to_pte_phys()
138 		pgtable = identity_pgd;  in virt_to_pte_phys()
140 	pteval = follow_pte(pgtable, (uintptr_t)virt);  in virt_to_pte_phys()
142 		install_page(pgtable, (phys_addr_t)(unsigned long)virt, virt);  in virt_to_pte_phys()
245 		pgd_t *pgtable = current_cpu()->pgtable;  in __virt_to_phys()  local
246 		return virt_to_pte_phys(pgtable, (void *)addr);  in __virt_to_phys()