859 	if (end_va > ctx->max_va)  in mmap_add_region_ctx()
860 		ctx->max_va = end_va;  in mmap_add_region_ctx()
925 	mm->base_va = ctx->max_va + 1UL;  in mmap_add_region_alloc_va_ctx()
932 	assert(mm->base_va > ctx->max_va);  in mmap_add_region_alloc_va_ctx()
1051 	if (end_va > ctx->max_va)  in mmap_add_dynamic_region_ctx()
1052 		ctx->max_va = end_va;  in mmap_add_dynamic_region_ctx()
1059 	mm->base_va = ctx->max_va + 1UL;  in mmap_add_dynamic_region_alloc_va_ctx()
1067 	if (mm->base_va < ctx->max_va) {  in mmap_add_dynamic_region_alloc_va_ctx()
1109 	if ((mm->base_va + mm->size - 1U) == ctx->max_va)  in mmap_remove_dynamic_region_ctx()
1131 		ctx->max_va = 0U;  in mmap_remove_dynamic_region_ctx()
1134 			if ((mm->base_va + mm->size - 1U) > ctx->max_va)  in mmap_remove_dynamic_region_ctx()
1135 				ctx->max_va = mm->base_va + mm->size - 1U;  in mmap_remove_dynamic_region_ctx()
1179 	ctx->max_va = 0;  in xlat_setup_dynamic_ctx()
1235 	assert(ctx->max_va <= ctx->va_max_address);  in init_xlat_tables_ctx()