Searched refs:va_max_address (Results 1 – 5 of 5) sorted by relevance
215 tf_xlat_ctx.va_max_address, EL1_EL0_REGIME); in enable_mmu_el1()223 tf_xlat_ctx.va_max_address, EL2_REGIME); in enable_mmu_el2()231 tf_xlat_ctx.va_max_address, EL3_REGIME); in enable_mmu_el3()258 tf_xlat_ctx.va_max_address, EL1_EL0_REGIME); in enable_mmu_svc_mon()266 tf_xlat_ctx.va_max_address, EL2_REGIME); in enable_mmu_hyp()
700 if (end_va > ctx->va_max_address) in mmap_add_region_check()1162 ctx->va_max_address = va_max; in xlat_setup_dynamic_ctx()1196 assert(ctx->va_max_address >= in init_xlat_tables_ctx()1198 assert(ctx->va_max_address <= (MAX_VIRT_ADDR_SPACE_SIZE - 1U)); in init_xlat_tables_ctx()1199 assert(IS_POWER_OF_TWO(ctx->va_max_address + 1U)); in init_xlat_tables_ctx()1235 assert(ctx->max_va <= ctx->va_max_address); in init_xlat_tables_ctx()
221 VERBOSE(" Max allowed VA: 0x%lx\n", ctx->va_max_address); in xlat_tables_print()346 virt_addr_space_size = (unsigned long long)ctx->va_max_address + 1ULL; in xlat_get_mem_attributes_internal()439 (unsigned long long)ctx->va_max_address + 1U; in xlat_change_mem_attributes_ctx()
54 uintptr_t va_max_address; member160 .va_max_address = (_virt_addr_space_size) - 1UL, \
116 xlat_ctx->pa_max_address, xlat_ctx->va_max_address, in spm_sp_setup()