Lines Matching refs:nested_paddr
367 uint64_t nested_paddr, in nested_create_pte() argument
389 current_level, nested_paddr); in nested_create_pte()
392 current_level, nested_paddr); in nested_create_pte()
398 uint64_t nested_paddr, uint64_t paddr, int target_level) in __nested_pg_map() argument
407 TEST_ASSERT((nested_paddr >> 48) == 0, in __nested_pg_map()
409 nested_paddr); in __nested_pg_map()
410 TEST_ASSERT((nested_paddr % page_size) == 0, in __nested_pg_map()
413 nested_paddr, page_size); in __nested_pg_map()
414 TEST_ASSERT((nested_paddr >> vm->page_shift) <= vm->max_gfn, in __nested_pg_map()
428 index = (nested_paddr >> PG_LEVEL_SHIFT(level)) & 0x1ffu; in __nested_pg_map()
431 nested_create_pte(vm, pte, nested_paddr, paddr, level, target_level); in __nested_pg_map()
449 uint64_t nested_paddr, uint64_t paddr) in nested_pg_map() argument
451 __nested_pg_map(vmx, vm, nested_paddr, paddr, PG_LEVEL_4K); in nested_pg_map()
472 uint64_t nested_paddr, uint64_t paddr, uint64_t size, in __nested_map() argument
478 TEST_ASSERT(nested_paddr + size > nested_paddr, "Vaddr overflow"); in __nested_map()
482 __nested_pg_map(vmx, vm, nested_paddr, paddr, level); in __nested_map()
483 nested_paddr += page_size; in __nested_map()
489 uint64_t nested_paddr, uint64_t paddr, uint64_t size) in nested_map() argument
491 __nested_map(vmx, vm, nested_paddr, paddr, size, PG_LEVEL_4K); in nested_map()