Lines Matching defs:ctx

31 void xlat_tables_print(__unused xlat_ctx_t *ctx)
53 static void xlat_desc_print(const xlat_ctx_t *ctx, uint64_t desc)
56 	int xlat_regime = ctx->xlat_regime;
139 static void xlat_tables_print_internal(xlat_ctx_t *ctx, uintptr_t table_base_va,
199 				xlat_tables_print_internal(ctx, table_idx_va,
207 				xlat_desc_print(ctx, desc);
222 void xlat_tables_print(xlat_ctx_t *ctx)
227 	if (ctx->xlat_regime == EL1_EL0_REGIME) {
229 	} else if (ctx->xlat_regime == EL2_REGIME) {
232 		assert(ctx->xlat_regime == EL3_REGIME);
237 	VERBOSE("  Max allowed PA:  0x%llx\n", ctx->pa_max_address);
238 	VERBOSE("  Max allowed VA:  0x%lx\n", ctx->va_max_address);
239 	VERBOSE("  Max mapped PA:   0x%llx\n", ctx->max_pa);
240 	VERBOSE("  Max mapped VA:   0x%lx\n", ctx->max_va);
242 	VERBOSE("  Initial lookup level: %u\n", ctx->base_level);
244 		ctx->base_table_entries);
248 	for (int i = 0; i < ctx->tables_num; ++i) {
249 		if (ctx->tables_mapped_regions[i] != 0)
253 	used_page_tables = ctx->next_table;
256 		used_page_tables, ctx->tables_num,
257 		ctx->tables_num - used_page_tables);
259 	xlat_tables_print_internal(ctx, 0U, ctx->base_table,
260 				   ctx->base_table_entries, ctx->base_level);
345 static int xlat_get_mem_attributes_internal(const xlat_ctx_t *ctx,
357 	assert(ctx != NULL);
358 	assert(ctx->initialized);
359 	assert((ctx->xlat_regime == EL1_EL0_REGIME) ||
360 	       (ctx->xlat_regime == EL2_REGIME) ||
361 	       (ctx->xlat_regime == EL3_REGIME));
363 	virt_addr_space_size = (unsigned long long)ctx->va_max_address + 1ULL;
367 				ctx->base_table,
368 				ctx->base_table_entries,
392 	xlat_desc_print(ctx, desc);
415 	if (ctx->xlat_regime == EL1_EL0_REGIME) {
427 	uint64_t xn_mask = xlat_arch_regime_get_xn_desc(ctx->xlat_regime);
439 int xlat_get_mem_attributes_ctx(const xlat_ctx_t *ctx, uintptr_t base_va,
442 	return xlat_get_mem_attributes_internal(ctx, base_va, attr,
447 int xlat_change_mem_attributes_ctx(const xlat_ctx_t *ctx, uintptr_t base_va,
452 	assert(ctx != NULL);
453 	assert(ctx->initialized);
456 		(unsigned long long)ctx->va_max_address + 1U;
498 					      ctx->base_table,
499 					      ctx->base_table_entries,
547 		(void) xlat_get_mem_attributes_internal(ctx, base_va, &old_attr,
575 		xlat_arch_tlbi_va(base_va, ctx->xlat_regime);
581 		*entry = xlat_desc(ctx, new_attr, addr_pa, level);