32 void xlat_tables_print(__unused xlat_ctx_t *ctx)  in xlat_tables_print()  argument
54 static void xlat_desc_print(const xlat_ctx_t *ctx, uint64_t desc)  in xlat_desc_print()  argument
57 	int xlat_regime = ctx->xlat_regime;  in xlat_desc_print()
140 static void xlat_tables_print_internal(xlat_ctx_t *ctx, uintptr_t table_base_va,  in xlat_tables_print_internal()  argument
200 				xlat_tables_print_internal(ctx, table_idx_va,  in xlat_tables_print_internal()
208 				xlat_desc_print(ctx, desc);  in xlat_tables_print_internal()
223 void xlat_tables_print(xlat_ctx_t *ctx)  in xlat_tables_print()  argument
228 	if (ctx->xlat_regime == EL1_EL0_REGIME) {  in xlat_tables_print()
230 	} else if (ctx->xlat_regime == EL2_REGIME) {  in xlat_tables_print()
233 		assert(ctx->xlat_regime == EL3_REGIME);  in xlat_tables_print()
238 	VERBOSE("  Max allowed PA:  0x%llx\n", ctx->pa_max_address);  in xlat_tables_print()
239 	VERBOSE("  Max allowed VA:  0x%lx\n", ctx->va_max_address);  in xlat_tables_print()
240 	VERBOSE("  Max mapped PA:   0x%llx\n", ctx->max_pa);  in xlat_tables_print()
241 	VERBOSE("  Max mapped VA:   0x%lx\n", ctx->max_va);  in xlat_tables_print()
243 	VERBOSE("  Initial lookup level: %u\n", ctx->base_level);  in xlat_tables_print()
245 		ctx->base_table_entries);  in xlat_tables_print()
249 	for (int i = 0; i < ctx->tables_num; ++i) {  in xlat_tables_print()
250 		if (ctx->tables_mapped_regions[i] != 0)  in xlat_tables_print()
254 	used_page_tables = ctx->next_table;  in xlat_tables_print()
257 		used_page_tables, ctx->tables_num,  in xlat_tables_print()
258 		ctx->tables_num - used_page_tables);  in xlat_tables_print()
260 	xlat_tables_print_internal(ctx, 0U, ctx->base_table,  in xlat_tables_print()
261 				   ctx->base_table_entries, ctx->base_level);  in xlat_tables_print()
346 static int xlat_get_mem_attributes_internal(const xlat_ctx_t *ctx,  in xlat_get_mem_attributes_internal()  argument
358 	assert(ctx != NULL);  in xlat_get_mem_attributes_internal()
359 	assert(ctx->initialized);  in xlat_get_mem_attributes_internal()
360 	assert((ctx->xlat_regime == EL1_EL0_REGIME) ||  in xlat_get_mem_attributes_internal()
361 	       (ctx->xlat_regime == EL2_REGIME) ||  in xlat_get_mem_attributes_internal()
362 	       (ctx->xlat_regime == EL3_REGIME));  in xlat_get_mem_attributes_internal()
364 	virt_addr_space_size = (unsigned long long)ctx->va_max_address + 1ULL;  in xlat_get_mem_attributes_internal()
368 				ctx->base_table,  in xlat_get_mem_attributes_internal()
369 				ctx->base_table_entries,  in xlat_get_mem_attributes_internal()
393 	xlat_desc_print(ctx, desc);  in xlat_get_mem_attributes_internal()
416 	if (ctx->xlat_regime == EL1_EL0_REGIME) {  in xlat_get_mem_attributes_internal()
477 	uint64_t xn_mask = xlat_arch_regime_get_xn_desc(ctx->xlat_regime);  in xlat_get_mem_attributes_internal()
489 int xlat_get_mem_attributes_ctx(const xlat_ctx_t *ctx, uintptr_t base_va,  in xlat_get_mem_attributes_ctx()  argument
492 	return xlat_get_mem_attributes_internal(ctx, base_va, attr,  in xlat_get_mem_attributes_ctx()
497 int xlat_change_mem_attributes_ctx(const xlat_ctx_t *ctx, uintptr_t base_va,  in xlat_change_mem_attributes_ctx()  argument
502 	assert(ctx != NULL);  in xlat_change_mem_attributes_ctx()
503 	assert(ctx->initialized);  in xlat_change_mem_attributes_ctx()
506 		(unsigned long long)ctx->va_max_address + 1U;  in xlat_change_mem_attributes_ctx()
548 					      ctx->base_table,  in xlat_change_mem_attributes_ctx()
549 					      ctx->base_table_entries,  in xlat_change_mem_attributes_ctx()
597 		(void) xlat_get_mem_attributes_internal(ctx, base_va, &old_attr,  in xlat_change_mem_attributes_ctx()
625 		xlat_arch_tlbi_va(base_va, ctx->xlat_regime);  in xlat_change_mem_attributes_ctx()
631 		*entry = xlat_desc(ctx, new_attr, addr_pa, level);  in xlat_change_mem_attributes_ctx()