46 		       mm->base_va, mm->base_pa, mm->size, mm->attr,  in xlat_mmap_print()
347 		uintptr_t base_va, uint32_t *attributes, uint64_t **table_entry,  in xlat_get_mem_attributes_internal()  argument
367 	entry = find_xlat_table_entry(base_va,  in xlat_get_mem_attributes_internal()
373 		WARN("Address 0x%lx is not mapped.\n", base_va);  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
509 	if (!IS_PAGE_ALIGNED(base_va)) {  in xlat_change_mem_attributes_ctx()
511 		     __func__, base_va);  in xlat_change_mem_attributes_ctx()
535 		pages_count, base_va);  in xlat_change_mem_attributes_ctx()
537 	uintptr_t base_va_original = base_va;  in xlat_change_mem_attributes_ctx()
547 		entry = find_xlat_table_entry(base_va,  in xlat_change_mem_attributes_ctx()
553 			WARN("Address 0x%lx is not mapped.\n", base_va);  in xlat_change_mem_attributes_ctx()
566 			     base_va);  in xlat_change_mem_attributes_ctx()
579 				     base_va);  in xlat_change_mem_attributes_ctx()
584 		base_va += PAGE_SIZE;  in xlat_change_mem_attributes_ctx()
588 	base_va = base_va_original;  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()
635 		base_va += PAGE_SIZE;  in xlat_change_mem_attributes_ctx()