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