Searched refs:max_pa (Results 1 – 1 of 1) sorted by relevance
878 uintptr_t max_va = 0, max_pa = 0; in setup_page_tables() local888 max_pa = MAX(max_pa, region->base_pa + region->size); in setup_page_tables()893 __ASSERT(max_pa <= (1ULL << CONFIG_ARM64_PA_BITS), in setup_page_tables()
