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
186 	unsigned long long end_pa = base_pa + size - 1U;  in mmap_add_region()
189 	assert(IS_PAGE_ALIGNED(base_pa));  in mmap_add_region()
197 	assert(base_pa < end_pa); /* Check for overflows */  in mmap_add_region()
202 	assert((base_pa + (unsigned long long)size - 1ULL) <=  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()
237 						     mm->base_pa + mm->size - 1;  in mmap_add_region()
239 			bool separated_pa = (end_pa < mm->base_pa) ||  in mmap_add_region()
240 				(base_pa > mm_end_pa);  in mmap_add_region()
278 	mm->base_pa = base_pa;  in mmap_add_region()
438 					base_va - mm->base_va + mm->base_pa,  in init_xlation_table_inner()