65 				(void *)mm->base_va, mm->base_pa,  in print_mmap()
73 void mmap_add_region(unsigned long long base_pa, uintptr_t base_va,  in mmap_add_region()  argument
79 	uintptr_t end_va = base_va + size - 1U;  in mmap_add_region()
82 	assert(IS_PAGE_ALIGNED(base_va));  in mmap_add_region()
89 	assert(base_va < end_va);  in mmap_add_region()
91 	assert((base_va + (uintptr_t)size - (uintptr_t)1) <=  in mmap_add_region()
101 		uintptr_t mm_end_va = mm->base_va + mm->size - 1U;  in mmap_add_region()
108 			((base_va >= mm->base_va) && (end_va <= mm_end_va)) ||  in mmap_add_region()
109 			((mm->base_va >= base_va) && (mm_end_va <= end_va));  in mmap_add_region()
117 			assert((mm->base_va - mm->base_pa) ==  in mmap_add_region()
118 			       (base_va - base_pa));  in mmap_add_region()
119 			assert((base_va != mm->base_va) || (size != mm->size));  in mmap_add_region()
132 			bool separated_va = (end_va < mm->base_va) ||  in mmap_add_region()
133 				(base_va > mm_end_va);  in mmap_add_region()
144 	while ((mm->base_va < base_va) && (mm->size != 0U))  in mmap_add_region()
158 	while ((mm->base_va == base_va) && (mm->size > size))  in mmap_add_region()
168 	mm->base_va = base_va;  in mmap_add_region()
183 		mmap_add_region(mm_cursor->base_pa, mm_cursor->base_va,  in mmap_add()
279 static unsigned int mmap_region_attr(const mmap_region_t *mm, uintptr_t base_va,  in mmap_region_attr()  argument
305 		if (mm->base_va > (base_va + size - 1U))  in mmap_region_attr()
308 		if ((mm->base_va + mm->size - 1U) < base_va)  in mmap_region_attr()
314 		if ((mm->base_va > base_va) ||  in mmap_region_attr()
315 			((mm->base_va + mm->size - 1U) < (base_va + size - 1U)))  in mmap_region_attr()
325 					uintptr_t base_va,  in init_xlation_table_inner()  argument
346 		} else if ((mm->base_va + mm->size - 1U) < base_va) {  in init_xlation_table_inner()
353 			(void *)base_va, (unsigned long long)level_size);  in init_xlation_table_inner()
355 		if (mm->base_va > (base_va + level_size - 1U)) {  in init_xlation_table_inner()
366 			unsigned int r = mmap_region_attr(mm, base_va,  in init_xlation_table_inner()
371 					base_va - mm->base_va + mm->base_pa,  in init_xlation_table_inner()
385 			mm = init_xlation_table_inner(mm, base_va,  in init_xlation_table_inner()
392 		base_va += level_size;  in init_xlation_table_inner()
393 	} while ((base_va & level_index_mask) &&  in init_xlation_table_inner()
394 		 ((base_va - 1U) < (PLAT_VIRT_ADDR_SPACE_SIZE - 1U)));  in init_xlation_table_inner()
399 void init_xlation_table(uintptr_t base_va, uint64_t *table,  in init_xlation_table()  argument
414 	init_xlation_table_inner(mmap, base_va, table, level);  in init_xlation_table()