Searched refs:va_max_address (Results 1 – 2 of 2) sorted by relevance
50 uintptr_t va_max_address; member147 .va_max_address = (_virt_addr_space_size) - 1, \
661 if ((base_va + (uintptr_t)size - (uintptr_t)1) > ctx->va_max_address) in mmap_add_region_check()1199 VERBOSE(" Max allowed VA: %p\n", (void *) ctx->va_max_address); in xlat_tables_print()1265 assert(ctx->max_va <= ctx->va_max_address); in init_xlat_tables_ctx()1300 tf_xlat_ctx.va_max_address); in enable_mmu_secure()1308 tf_xlat_ctx.va_max_address); in enable_mmu_el1()1314 tf_xlat_ctx.va_max_address); in enable_mmu_el3()1429 virt_addr_space_size = (unsigned long long)ctx->va_max_address + 1; in get_mem_attributes_internal()1523 (unsigned long long)ctx->va_max_address + 1; in change_mem_attributes()