Searched refs:target_level (Results 1 – 2 of 2) sorted by relevance
370 int target_level) in nested_create_pte() argument376 pte->page_size = (current_level == target_level); in nested_create_pte()387 TEST_ASSERT(current_level != target_level, in nested_create_pte()398 uint64_t nested_paddr, uint64_t paddr, int target_level) in __nested_pg_map() argument400 const uint64_t page_size = PG_LEVEL_SIZE(target_level); in __nested_pg_map()431 nested_create_pte(vm, pte, nested_paddr, paddr, level, target_level); in __nested_pg_map()
156 int target_level) in virt_create_upper_pte() argument164 if (current_level == target_level) in virt_create_upper_pte()174 TEST_ASSERT(current_level != target_level, in virt_create_upper_pte()
Completed in 7 milliseconds