Searched refs:max_va (Results 1 – 1 of 1) sorted by relevance
878 uintptr_t max_va = 0, max_pa = 0; in setup_page_tables() local887 max_va = MAX(max_va, region->base_va + region->size); in setup_page_tables()891 __ASSERT(max_va <= (1ULL << CONFIG_ARM64_VA_BITS), in setup_page_tables()
