Searched refs:va_space_size (Results 1 – 1 of 1) sorted by relevance
1171 uintptr_t va_space_size = va_max + 1; in xlat_setup_dynamic_ctx() local1172 ctx->base_level = GET_XLAT_TABLE_LEVEL_BASE(va_space_size); in xlat_setup_dynamic_ctx()1174 ctx->base_table_entries = GET_NUM_BASE_LEVEL_ENTRIES(va_space_size); in xlat_setup_dynamic_ctx()