369 			      uint64_t nested_paddr,  in nested_create_pte()  argument
391 			    current_level, nested_paddr);  in nested_create_pte()
394 			    current_level, nested_paddr);  in nested_create_pte()
400 		     uint64_t nested_paddr, uint64_t paddr, int target_level)  in __nested_pg_map()  argument
409 	TEST_ASSERT((nested_paddr >> 48) == 0,  in __nested_pg_map()
411 		    nested_paddr);  in __nested_pg_map()
412 	TEST_ASSERT((nested_paddr % page_size) == 0,  in __nested_pg_map()
415 		    nested_paddr, page_size);  in __nested_pg_map()
416 	TEST_ASSERT((nested_paddr >> vm->page_shift) <= vm->max_gfn,  in __nested_pg_map()
430 		index = (nested_paddr >> PG_LEVEL_SHIFT(level)) & 0x1ffu;  in __nested_pg_map()
433 		nested_create_pte(vm, pte, nested_paddr, paddr, level, target_level);  in __nested_pg_map()
451 		   uint64_t nested_paddr, uint64_t paddr)  in nested_pg_map()  argument
453 	__nested_pg_map(vmx, vm, nested_paddr, paddr, PG_LEVEL_4K);  in nested_pg_map()
474 		  uint64_t nested_paddr, uint64_t paddr, uint64_t size,  in __nested_map()  argument
480 	TEST_ASSERT(nested_paddr + size > nested_paddr, "Vaddr overflow");  in __nested_map()
484 		__nested_pg_map(vmx, vm, nested_paddr, paddr, level);  in __nested_map()
485 		nested_paddr += page_size;  in __nested_map()
491 		uint64_t nested_paddr, uint64_t paddr, uint64_t size)  in nested_map()  argument
493 	__nested_map(vmx, vm, nested_paddr, paddr, size, PG_LEVEL_4K);  in nested_map()