162 				(void *)mm->base_va, mm->base_pa,  in print_mmap()
175 		mmap_add_region(mm_cursor->base_pa, mm_cursor->base_va,  in mmap_add()
181 void mmap_add_region(unsigned long long base_pa, uintptr_t base_va,  in mmap_add_region()  argument
187 	uintptr_t end_va = base_va + size - 1U;  in mmap_add_region()
190 	assert(IS_PAGE_ALIGNED(base_va));  in mmap_add_region()
198 	assert(base_va < end_va);  in mmap_add_region()
200 	assert((base_va + (uintptr_t)size - (uintptr_t)1) <=  in mmap_add_region()
210 		uintptr_t mm_end_va = mm->base_va + mm->size - 1U;  in mmap_add_region()
217 			((base_va >= mm->base_va) && (end_va <= mm_end_va)) ||  in mmap_add_region()
218 			((mm->base_va >= base_va) && (mm_end_va <= end_va));  in mmap_add_region()
226 			assert((mm->base_va - mm->base_pa) ==  in mmap_add_region()
227 			       (base_va - base_pa));  in mmap_add_region()
228 			assert((base_va != mm->base_va) || (size != mm->size));  in mmap_add_region()
241 			bool separated_va = (end_va < mm->base_va) ||  in mmap_add_region()
242 				(base_va > mm_end_va);  in mmap_add_region()
253 	while ((mm->base_va < base_va) && (mm->size != 0U)) {  in mmap_add_region()
268 	while ((mm->base_va == base_va) && (mm->size > size)) {  in mmap_add_region()
279 	mm->base_va = base_va;  in mmap_add_region()
344 static unsigned int mmap_region_attr(const mmap_region_t *mm, uintptr_t base_va,  in mmap_region_attr()  argument
371 		if (mm->base_va > (base_va + size - 1U)) {  in mmap_region_attr()
375 		if ((mm->base_va + mm->size - 1U) < base_va) {  in mmap_region_attr()
383 		if ((mm->base_va > base_va) ||  in mmap_region_attr()
384 			((mm->base_va + mm->size - 1U) <  in mmap_region_attr()
385 					(base_va + size - 1U))) {  in mmap_region_attr()
395 						unsigned int base_va,  in init_xlation_table_inner()  argument
413 		if (mm->base_va + mm->size <= base_va) {  in init_xlation_table_inner()
422 						base_va, level_size);  in init_xlation_table_inner()
425 		if (mm->base_va >= base_va + level_size) {  in init_xlation_table_inner()
428 		} else if ((mm->base_va <= base_va) &&  in init_xlation_table_inner()
429 				(mm->base_va + mm->size) >=  in init_xlation_table_inner()
430 				(base_va + level_size)) {  in init_xlation_table_inner()
433 			unsigned int r = mmap_region_attr(mm, base_va,  in init_xlation_table_inner()
438 					base_va - mm->base_va + mm->base_pa,  in init_xlation_table_inner()
472 			mm = init_xlation_table_inner(mm, base_va,  in init_xlation_table_inner()
483 		base_va += level_size;  in init_xlation_table_inner()
484 	} while ((mm->size != 0U) && ((base_va & level_index_mask) != 0U));  in init_xlation_table_inner()