Lines Matching refs:paddr
368 uint64_t paddr, in nested_create_pte() argument
378 pte->address = paddr >> vm->page_shift; in nested_create_pte()
398 uint64_t nested_paddr, uint64_t paddr, int target_level) in __nested_pg_map() argument
417 paddr, vm->max_gfn, vm->page_size); in __nested_pg_map()
418 TEST_ASSERT((paddr % page_size) == 0, in __nested_pg_map()
421 paddr, page_size); in __nested_pg_map()
422 TEST_ASSERT((paddr >> vm->page_shift) <= vm->max_gfn, in __nested_pg_map()
425 paddr, vm->max_gfn, vm->page_size); 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
479 TEST_ASSERT(paddr + size > paddr, "Paddr overflow"); in __nested_map()
482 __nested_pg_map(vmx, vm, nested_paddr, paddr, level); in __nested_map()
484 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()