Lines Matching defs:base_va

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