390 	 	   uint64_t nested_paddr, uint64_t paddr, uint32_t eptp_memslot)  in nested_pg_map()  argument
405 		    paddr, vm->max_gfn, vm->page_size);  in nested_pg_map()
406 	TEST_ASSERT((paddr % vm->page_size) == 0,  in nested_pg_map()
409 		    paddr, vm->page_size);  in nested_pg_map()
410 	TEST_ASSERT((paddr >> vm->page_shift) <= vm->max_gfn,  in nested_pg_map()
413 		    paddr, vm->max_gfn, vm->page_size);  in nested_pg_map()
458 	pte[index[0]].address = paddr >> vm->page_shift;  in nested_pg_map()
489 		uint64_t nested_paddr, uint64_t paddr, uint64_t size,  in nested_map()  argument
496 	TEST_ASSERT(paddr + size > paddr, "Paddr overflow");  in nested_map()
499 		nested_pg_map(vmx, vm, nested_paddr, paddr, eptp_memslot);  in nested_map()
501 		paddr += page_size;  in nested_map()