160 	while (mm->size) {  in print_mmap()
163 				mm->size, mm->attr);  in print_mmap()
174 	while ((mm_cursor->size != 0U) || (mm_cursor->attr != 0U)) {  in mmap_add()
176 				mm_cursor->size, mm_cursor->attr);  in mmap_add()
182 		     size_t size, unsigned int attr)  in mmap_add_region()  argument
186 	unsigned long long end_pa = base_pa + size - 1U;  in mmap_add_region()
187 	uintptr_t end_va = base_va + size - 1U;  in mmap_add_region()
191 	assert(IS_PAGE_ALIGNED(size));  in mmap_add_region()
193 	if (size == 0U) {  in mmap_add_region()
200 	assert((base_va + (uintptr_t)size - (uintptr_t)1) <=  in mmap_add_region()
202 	assert((base_pa + (unsigned long long)size - 1ULL) <=  in mmap_add_region()
208 	for (mm = mmap; mm->size; ++mm) {  in mmap_add_region()
210 		uintptr_t mm_end_va = mm->base_va + mm->size - 1U;  in mmap_add_region()
228 			assert((base_va != mm->base_va) || (size != mm->size));  in mmap_add_region()
237 						     mm->base_pa + mm->size - 1;  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()
276 	assert(mm_last->size == 0U);  in mmap_add_region()
280 	mm->size = size;  in mmap_add_region()
345 				     size_t size, unsigned int *attr)  in mmap_region_attr()  argument
367 		if (mm->size == 0U) {  in mmap_region_attr()
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()
384 			((mm->base_va + mm->size - 1U) <  in mmap_region_attr()
385 					(base_va + size - 1U))) {  in mmap_region_attr()
413 		if (mm->base_va + mm->size <= base_va) {  in init_xlation_table_inner()
429 				(mm->base_va + mm->size) >=  in init_xlation_table_inner()
484 	} while ((mm->size != 0U) && ((base_va & level_index_mask) != 0U));  in init_xlation_table_inner()