71 	uint64_t *ptep, next_ppn;  in virt_arch_pg_map()  local
88 	ptep = addr_gpa2hva(vm, vm->pgd) + pte_index(vm, vaddr, level) * 8;  in virt_arch_pg_map()
89 	if (!*ptep) {  in virt_arch_pg_map()
91 		*ptep = (next_ppn << PGTBL_PTE_ADDR_SHIFT) |  in virt_arch_pg_map()
97 		ptep = addr_gpa2hva(vm, pte_addr(vm, *ptep)) +  in virt_arch_pg_map()
99 		if (!*ptep && level > 0) {  in virt_arch_pg_map()
102 			*ptep = (next_ppn << PGTBL_PTE_ADDR_SHIFT) |  in virt_arch_pg_map()
109 	*ptep = (paddr << PGTBL_PTE_ADDR_SHIFT) |  in virt_arch_pg_map()
115 	uint64_t *ptep;  in addr_arch_gva2gpa()  local
121 	ptep = addr_gpa2hva(vm, vm->pgd) + pte_index(vm, gva, level) * 8;  in addr_arch_gva2gpa()
122 	if (!ptep)  in addr_arch_gva2gpa()
127 		ptep = addr_gpa2hva(vm, pte_addr(vm, *ptep)) +  in addr_arch_gva2gpa()
129 		if (!ptep)  in addr_arch_gva2gpa()
134 	return pte_addr(vm, *ptep) + (gva & (vm->page_size - 1));  in addr_arch_gva2gpa()
147 	uint64_t pte, *ptep;  in pte_dump()  local
153 		ptep = addr_gpa2hva(vm, pte);  in pte_dump()
154 		if (!*ptep)  in pte_dump()
157 			type[level], pte, *ptep, ptep);  in pte_dump()
159 			 pte_addr(vm, *ptep), level - 1);  in pte_dump()
167 	uint64_t pgd, *ptep;  in virt_arch_dump()  local
173 		ptep = addr_gpa2hva(vm, pgd);  in virt_arch_dump()
174 		if (!*ptep)  in virt_arch_dump()
177 			pgd, *ptep, ptep);  in virt_arch_dump()
179 			 pte_addr(vm, *ptep), level - 1);  in virt_arch_dump()