69 	uint64_t *ptep, next_ppn;  in virt_arch_pg_map()  local
86 	ptep = addr_gpa2hva(vm, vm->pgd) + pte_index(vm, vaddr, level) * 8;  in virt_arch_pg_map()
87 	if (!*ptep) {  in virt_arch_pg_map()
89 		*ptep = (next_ppn << PGTBL_PTE_ADDR_SHIFT) |  in virt_arch_pg_map()
95 		ptep = addr_gpa2hva(vm, pte_addr(vm, *ptep)) +  in virt_arch_pg_map()
97 		if (!*ptep && level > 0) {  in virt_arch_pg_map()
100 			*ptep = (next_ppn << PGTBL_PTE_ADDR_SHIFT) |  in virt_arch_pg_map()
107 	*ptep = (paddr << PGTBL_PTE_ADDR_SHIFT) |  in virt_arch_pg_map()
113 	uint64_t *ptep;  in addr_arch_gva2gpa()  local
119 	ptep = addr_gpa2hva(vm, vm->pgd) + pte_index(vm, gva, level) * 8;  in addr_arch_gva2gpa()
120 	if (!ptep)  in addr_arch_gva2gpa()
125 		ptep = addr_gpa2hva(vm, pte_addr(vm, *ptep)) +  in addr_arch_gva2gpa()
127 		if (!ptep)  in addr_arch_gva2gpa()
132 	return pte_addr(vm, *ptep) + (gva & (vm->page_size - 1));  in addr_arch_gva2gpa()
145 	uint64_t pte, *ptep;  in pte_dump()  local
151 		ptep = addr_gpa2hva(vm, pte);  in pte_dump()
152 		if (!*ptep)  in pte_dump()
155 			type[level], pte, *ptep, ptep);  in pte_dump()
157 			 pte_addr(vm, *ptep), level - 1);  in pte_dump()
165 	uint64_t pgd, *ptep;  in virt_arch_dump()  local
171 		ptep = addr_gpa2hva(vm, pgd);  in virt_arch_dump()
172 		if (!*ptep)  in virt_arch_dump()
175 			pgd, *ptep, ptep);  in virt_arch_dump()
177 			 pte_addr(vm, *ptep), level - 1);  in virt_arch_dump()