55 static u64 pte_index(struct kvm_vm *vm, gva_t gva, int level)  in pte_index()  argument
62 	return (gva & pte_index_mask[level]) >> pte_index_shift[level];  in pte_index()
78 void virt_arch_pg_map(struct kvm_vm *vm, gva_t gva, gpa_t gpa)  in virt_arch_pg_map()  argument
83 	TEST_ASSERT((gva % vm->page_size) == 0,  in virt_arch_pg_map()
85 		"  gva: 0x%lx vm->page_size: 0x%x", gva, vm->page_size);  in virt_arch_pg_map()
86 	TEST_ASSERT(sparsebit_is_set(vm->vpages_valid, (gva >> vm->page_shift)),  in virt_arch_pg_map()
87 		    "Invalid virtual address, gva: 0x%lx", gva);  in virt_arch_pg_map()
96 	ptep = addr_gpa2hva(vm, vm->mmu.pgd) + pte_index(vm, gva, level) * 8;  in virt_arch_pg_map()
106 		       pte_index(vm, gva, level) * 8;  in virt_arch_pg_map()
121 gpa_t addr_arch_gva2gpa(struct kvm_vm *vm, gva_t gva)  in addr_arch_gva2gpa()  argument
129 	ptep = addr_gpa2hva(vm, vm->mmu.pgd) + pte_index(vm, gva, level) * 8;  in addr_arch_gva2gpa()
136 		       pte_index(vm, gva, level) * 8;  in addr_arch_gva2gpa()
142 	return pte_addr(vm, *ptep) + (gva & (vm->page_size - 1));  in addr_arch_gva2gpa()
146 		  gva, level);  in addr_arch_gva2gpa()