227 				  gpa_t gpa,  in virt_create_upper_pte()  argument
233 	gpa = vm_untag_gpa(vm, gpa);  in virt_create_upper_pte()
240 			*pte |= PTE_HUGE_MASK(mmu) | (gpa & PHYSICAL_PAGE_MASK);  in virt_create_upper_pte()
260 		   gpa_t gpa, int level)  in __virt_pg_map()  argument
274 	TEST_ASSERT((gpa % pg_size) == 0,  in __virt_pg_map()
276 		    "  gpa: 0x%lx page size: 0x%lx", gpa, pg_size);  in __virt_pg_map()
277 	TEST_ASSERT((gpa >> vm->page_shift) <= vm->max_gfn,  in __virt_pg_map()
280 		    gpa, vm->max_gfn, vm->page_size);  in __virt_pg_map()
281 	TEST_ASSERT(vm_untag_gpa(vm, gpa) == gpa,  in __virt_pg_map()
282 		    "Unexpected bits in gpa: %lx", gpa);  in __virt_pg_map()
294 		pte = virt_create_upper_pte(vm, mmu, pte, gva, gpa,  in __virt_pg_map()
306 	       PTE_ALWAYS_SET_MASK(mmu) | (gpa & PHYSICAL_PAGE_MASK);  in __virt_pg_map()
312 	if (vm_is_gpa_protected(vm, gpa))  in __virt_pg_map()
318 void virt_arch_pg_map(struct kvm_vm *vm, gva_t gva, gpa_t gpa)  in virt_arch_pg_map()  argument
320 	__virt_pg_map(vm, &vm->mmu, gva, gpa, PG_LEVEL_4K);  in virt_arch_pg_map()
323 void virt_map_level(struct kvm_vm *vm, gva_t gva, gpa_t gpa,  in virt_map_level()  argument
335 		__virt_pg_map(vm, &vm->mmu, gva, gpa, level);  in virt_map_level()
340 		gpa += pg_size;  in virt_map_level()
498 void __tdp_map(struct kvm_vm *vm, gpa_t l2_gpa, gpa_t gpa, u64 size, int level)  in __tdp_map()  argument
504 	TEST_ASSERT(gpa + size > gpa, "GPA overflow");  in __tdp_map()
507 		__virt_pg_map(vm, &vm->stage2_mmu, l2_gpa, gpa, level);  in __tdp_map()
509 		gpa += page_size;  in __tdp_map()
513 void tdp_map(struct kvm_vm *vm, gpa_t l2_gpa, gpa_t gpa, u64 size)  in tdp_map()  argument
515 	__tdp_map(vm, l2_gpa, gpa, size, PG_LEVEL_4K);  in tdp_map()