xref: /optee_os/core/pta/system.c (revision 1936dfc78d0689c0bc81e1c216bb0dd4775aa280)
15843bb75SJerome Forissier // SPDX-License-Identifier: BSD-2-Clause
25843bb75SJerome Forissier /*
35843bb75SJerome Forissier  * Copyright (c) 2018-2019, Linaro Limited
45843bb75SJerome Forissier  */
55843bb75SJerome Forissier 
65843bb75SJerome Forissier #include <assert.h>
75843bb75SJerome Forissier #include <crypto/crypto.h>
85843bb75SJerome Forissier #include <kernel/handle.h>
95843bb75SJerome Forissier #include <kernel/huk_subkey.h>
105843bb75SJerome Forissier #include <kernel/misc.h>
115843bb75SJerome Forissier #include <kernel/msg_param.h>
125843bb75SJerome Forissier #include <kernel/pseudo_ta.h>
135843bb75SJerome Forissier #include <kernel/user_ta.h>
145843bb75SJerome Forissier #include <kernel/user_ta_store.h>
155843bb75SJerome Forissier #include <ldelf.h>
165843bb75SJerome Forissier #include <mm/file.h>
175843bb75SJerome Forissier #include <mm/fobj.h>
185843bb75SJerome Forissier #include <mm/tee_mmu.h>
195843bb75SJerome Forissier #include <pta_system.h>
205843bb75SJerome Forissier #include <string.h>
215843bb75SJerome Forissier #include <tee_api_defines_extensions.h>
225843bb75SJerome Forissier #include <tee_api_defines.h>
235843bb75SJerome Forissier #include <util.h>
245843bb75SJerome Forissier 
255843bb75SJerome Forissier #define MAX_ENTROPY_IN			32u
265843bb75SJerome Forissier 
275843bb75SJerome Forissier struct bin_handle {
285843bb75SJerome Forissier 	const struct user_ta_store_ops *op;
295843bb75SJerome Forissier 	struct user_ta_store_handle *h;
305843bb75SJerome Forissier 	struct file *f;
315843bb75SJerome Forissier 	size_t offs_bytes;
325843bb75SJerome Forissier 	size_t size_bytes;
335843bb75SJerome Forissier };
345843bb75SJerome Forissier 
355843bb75SJerome Forissier struct system_ctx {
365843bb75SJerome Forissier 	struct handle_db db;
375843bb75SJerome Forissier 	const struct user_ta_store_ops *store_op;
385843bb75SJerome Forissier };
395843bb75SJerome Forissier 
405843bb75SJerome Forissier static unsigned int system_pnum;
415843bb75SJerome Forissier 
425843bb75SJerome Forissier static TEE_Result system_rng_reseed(struct tee_ta_session *s __unused,
435843bb75SJerome Forissier 				uint32_t param_types,
445843bb75SJerome Forissier 				TEE_Param params[TEE_NUM_PARAMS])
455843bb75SJerome Forissier {
465843bb75SJerome Forissier 	size_t entropy_sz;
475843bb75SJerome Forissier 	uint8_t *entropy_input;
485843bb75SJerome Forissier 	uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_MEMREF_INPUT,
495843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE,
505843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE,
515843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE);
525843bb75SJerome Forissier 
535843bb75SJerome Forissier 	if (exp_pt != param_types)
545843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
555843bb75SJerome Forissier 	entropy_input = params[0].memref.buffer;
565843bb75SJerome Forissier 	entropy_sz = params[0].memref.size;
575843bb75SJerome Forissier 
585843bb75SJerome Forissier 	/* Fortuna PRNG requires seed <= 32 bytes */
595843bb75SJerome Forissier 	if (!entropy_sz)
605843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
615843bb75SJerome Forissier 
625843bb75SJerome Forissier 	entropy_sz = MIN(entropy_sz, MAX_ENTROPY_IN);
635843bb75SJerome Forissier 
645843bb75SJerome Forissier 	crypto_rng_add_event(CRYPTO_RNG_SRC_NONSECURE, &system_pnum,
655843bb75SJerome Forissier 			     entropy_input, entropy_sz);
665843bb75SJerome Forissier 	return TEE_SUCCESS;
675843bb75SJerome Forissier }
685843bb75SJerome Forissier 
695843bb75SJerome Forissier static TEE_Result system_derive_ta_unique_key(struct tee_ta_session *s,
705843bb75SJerome Forissier 					      uint32_t param_types,
715843bb75SJerome Forissier 					      TEE_Param params[TEE_NUM_PARAMS])
725843bb75SJerome Forissier {
735843bb75SJerome Forissier 	size_t data_len = sizeof(TEE_UUID);
745843bb75SJerome Forissier 	TEE_Result res = TEE_ERROR_GENERIC;
755843bb75SJerome Forissier 	uint8_t *data = NULL;
765843bb75SJerome Forissier 	uint32_t access_flags = 0;
775843bb75SJerome Forissier 	uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_MEMREF_INPUT,
785843bb75SJerome Forissier 					  TEE_PARAM_TYPE_MEMREF_OUTPUT,
795843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE,
805843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE);
815843bb75SJerome Forissier 	struct user_ta_ctx *utc = NULL;
825843bb75SJerome Forissier 
835843bb75SJerome Forissier 	if (exp_pt != param_types)
845843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
855843bb75SJerome Forissier 
865843bb75SJerome Forissier 	if (params[0].memref.size > TA_DERIVED_EXTRA_DATA_MAX_SIZE ||
875843bb75SJerome Forissier 	    params[1].memref.size < TA_DERIVED_KEY_MIN_SIZE ||
885843bb75SJerome Forissier 	    params[1].memref.size > TA_DERIVED_KEY_MAX_SIZE)
895843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
905843bb75SJerome Forissier 
915843bb75SJerome Forissier 	utc = to_user_ta_ctx(s->ctx);
925843bb75SJerome Forissier 
935843bb75SJerome Forissier 	/*
945843bb75SJerome Forissier 	 * The derived key shall not end up in non-secure memory by
955843bb75SJerome Forissier 	 * mistake.
965843bb75SJerome Forissier 	 *
975843bb75SJerome Forissier 	 * Note that we're allowing shared memory as long as it's
985843bb75SJerome Forissier 	 * secure. This is needed because a TA always uses shared memory
995843bb75SJerome Forissier 	 * when communicating with another TA.
1005843bb75SJerome Forissier 	 */
1015843bb75SJerome Forissier 	access_flags = TEE_MEMORY_ACCESS_WRITE | TEE_MEMORY_ACCESS_ANY_OWNER |
1025843bb75SJerome Forissier 		       TEE_MEMORY_ACCESS_SECURE;
103*1936dfc7SJens Wiklander 	res = tee_mmu_check_access_rights(&utc->uctx, access_flags,
1045843bb75SJerome Forissier 					  (uaddr_t)params[1].memref.buffer,
1055843bb75SJerome Forissier 					  params[1].memref.size);
1065843bb75SJerome Forissier 	if (res != TEE_SUCCESS)
1075843bb75SJerome Forissier 		return TEE_ERROR_SECURITY;
1085843bb75SJerome Forissier 
1095843bb75SJerome Forissier 	/* Take extra data into account. */
1105843bb75SJerome Forissier 	if (ADD_OVERFLOW(data_len, params[0].memref.size, &data_len))
1115843bb75SJerome Forissier 		return TEE_ERROR_SECURITY;
1125843bb75SJerome Forissier 
1135843bb75SJerome Forissier 	data = calloc(data_len, 1);
1145843bb75SJerome Forissier 	if (!data)
1155843bb75SJerome Forissier 		return TEE_ERROR_OUT_OF_MEMORY;
1165843bb75SJerome Forissier 
1175843bb75SJerome Forissier 	memcpy(data, &s->ctx->uuid, sizeof(TEE_UUID));
1185843bb75SJerome Forissier 
1195843bb75SJerome Forissier 	/* Append the user provided data */
1205843bb75SJerome Forissier 	memcpy(data + sizeof(TEE_UUID), params[0].memref.buffer,
1215843bb75SJerome Forissier 	       params[0].memref.size);
1225843bb75SJerome Forissier 
1235843bb75SJerome Forissier 	res = huk_subkey_derive(HUK_SUBKEY_UNIQUE_TA, data, data_len,
1245843bb75SJerome Forissier 				params[1].memref.buffer,
1255843bb75SJerome Forissier 				params[1].memref.size);
1265843bb75SJerome Forissier 	free(data);
1275843bb75SJerome Forissier 
1285843bb75SJerome Forissier 	return res;
1295843bb75SJerome Forissier }
1305843bb75SJerome Forissier 
1315843bb75SJerome Forissier static TEE_Result system_map_zi(struct tee_ta_session *s, uint32_t param_types,
1325843bb75SJerome Forissier 				TEE_Param params[TEE_NUM_PARAMS])
1335843bb75SJerome Forissier {
1345843bb75SJerome Forissier 	uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_VALUE_INPUT,
1355843bb75SJerome Forissier 					  TEE_PARAM_TYPE_VALUE_INOUT,
1365843bb75SJerome Forissier 					  TEE_PARAM_TYPE_VALUE_INPUT,
1375843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE);
1385843bb75SJerome Forissier 	struct user_ta_ctx *utc = to_user_ta_ctx(s->ctx);
1395843bb75SJerome Forissier 	uint32_t prot = TEE_MATTR_URW | TEE_MATTR_PRW;
1405843bb75SJerome Forissier 	TEE_Result res = TEE_ERROR_GENERIC;
1415843bb75SJerome Forissier 	struct mobj *mobj = NULL;
1425843bb75SJerome Forissier 	uint32_t pad_begin = 0;
143b9651492SJens Wiklander 	uint32_t vm_flags = 0;
1445843bb75SJerome Forissier 	struct fobj *f = NULL;
1455843bb75SJerome Forissier 	uint32_t pad_end = 0;
1465843bb75SJerome Forissier 	size_t num_bytes = 0;
1475843bb75SJerome Forissier 	vaddr_t va = 0;
1485843bb75SJerome Forissier 
1495843bb75SJerome Forissier 	if (exp_pt != param_types)
1505843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
1515843bb75SJerome Forissier 	if (params[0].value.b & ~PTA_SYSTEM_MAP_FLAG_SHAREABLE)
1525843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
1535843bb75SJerome Forissier 
1545843bb75SJerome Forissier 	if (params[0].value.b & PTA_SYSTEM_MAP_FLAG_SHAREABLE)
1555843bb75SJerome Forissier 		vm_flags |= VM_FLAG_SHAREABLE;
1565843bb75SJerome Forissier 
1575843bb75SJerome Forissier 	num_bytes = params[0].value.a;
1585843bb75SJerome Forissier 	va = reg_pair_to_64(params[1].value.a, params[1].value.b);
1595843bb75SJerome Forissier 	pad_begin = params[2].value.a;
1605843bb75SJerome Forissier 	pad_end = params[2].value.b;
1615843bb75SJerome Forissier 
1625843bb75SJerome Forissier 	f = fobj_ta_mem_alloc(ROUNDUP(num_bytes, SMALL_PAGE_SIZE) /
1635843bb75SJerome Forissier 			      SMALL_PAGE_SIZE);
1645843bb75SJerome Forissier 	if (!f)
1655843bb75SJerome Forissier 		return TEE_ERROR_OUT_OF_MEMORY;
1665843bb75SJerome Forissier 	mobj = mobj_with_fobj_alloc(f, NULL);
1675843bb75SJerome Forissier 	fobj_put(f);
1685843bb75SJerome Forissier 	if (!mobj)
1695843bb75SJerome Forissier 		return TEE_ERROR_OUT_OF_MEMORY;
170*1936dfc7SJens Wiklander 	res = vm_map_pad(&utc->uctx, &va, num_bytes, prot, vm_flags,
1715843bb75SJerome Forissier 			 mobj, 0, pad_begin, pad_end);
172b9651492SJens Wiklander 	mobj_put(mobj);
173b9651492SJens Wiklander 	if (!res)
1745843bb75SJerome Forissier 		reg_pair_from_64(va, &params[1].value.a, &params[1].value.b);
1755843bb75SJerome Forissier 
1765843bb75SJerome Forissier 	return res;
1775843bb75SJerome Forissier }
1785843bb75SJerome Forissier 
1795843bb75SJerome Forissier static TEE_Result system_unmap(struct tee_ta_session *s, uint32_t param_types,
1805843bb75SJerome Forissier 			       TEE_Param params[TEE_NUM_PARAMS])
1815843bb75SJerome Forissier {
1825843bb75SJerome Forissier 	uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_VALUE_INPUT,
1835843bb75SJerome Forissier 					  TEE_PARAM_TYPE_VALUE_INPUT,
1845843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE,
1855843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE);
1865843bb75SJerome Forissier 
1875843bb75SJerome Forissier 	if (exp_pt != param_types)
1885843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
1895843bb75SJerome Forissier 
1905843bb75SJerome Forissier 	if (params[0].value.b)
1915843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
1925843bb75SJerome Forissier 
193*1936dfc7SJens Wiklander 	return vm_unmap(&to_user_ta_ctx(s->ctx)->uctx,
1945843bb75SJerome Forissier 			reg_pair_to_64(params[1].value.a, params[1].value.b),
1955843bb75SJerome Forissier 			ROUNDUP(params[0].value.a, SMALL_PAGE_SIZE));
1965843bb75SJerome Forissier }
1975843bb75SJerome Forissier 
1985843bb75SJerome Forissier static void ta_bin_close(void *ptr)
1995843bb75SJerome Forissier {
2005843bb75SJerome Forissier 	struct bin_handle *binh = ptr;
2015843bb75SJerome Forissier 
2025843bb75SJerome Forissier 	if (binh) {
2035843bb75SJerome Forissier 		if (binh->op && binh->h)
2045843bb75SJerome Forissier 			binh->op->close(binh->h);
2055843bb75SJerome Forissier 		file_put(binh->f);
2065843bb75SJerome Forissier 	}
2075843bb75SJerome Forissier 	free(binh);
2085843bb75SJerome Forissier }
2095843bb75SJerome Forissier 
2105843bb75SJerome Forissier static TEE_Result system_open_ta_binary(struct system_ctx *ctx,
2115843bb75SJerome Forissier 					uint32_t param_types,
2125843bb75SJerome Forissier 					TEE_Param params[TEE_NUM_PARAMS])
2135843bb75SJerome Forissier {
2145843bb75SJerome Forissier 	TEE_Result res = TEE_SUCCESS;
2155843bb75SJerome Forissier 	struct bin_handle *binh = NULL;
2165843bb75SJerome Forissier 	int h = 0;
2175843bb75SJerome Forissier 	TEE_UUID *uuid = NULL;
2185843bb75SJerome Forissier 	uint8_t tag[FILE_TAG_SIZE] = { 0 };
2195843bb75SJerome Forissier 	unsigned int tag_len = sizeof(tag);
2205843bb75SJerome Forissier 	uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_MEMREF_INPUT,
2215843bb75SJerome Forissier 					  TEE_PARAM_TYPE_VALUE_OUTPUT,
2225843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE,
2235843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE);
2245843bb75SJerome Forissier 
2255843bb75SJerome Forissier 	if (exp_pt != param_types)
2265843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
2275843bb75SJerome Forissier 	if (params[0].memref.size != sizeof(*uuid))
2285843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
2295843bb75SJerome Forissier 
2305843bb75SJerome Forissier 	uuid = params[0].memref.buffer;
2315843bb75SJerome Forissier 
2325843bb75SJerome Forissier 	binh = calloc(1, sizeof(*binh));
2335843bb75SJerome Forissier 	if (!binh)
2345843bb75SJerome Forissier 		return TEE_ERROR_OUT_OF_MEMORY;
2355843bb75SJerome Forissier 
2365843bb75SJerome Forissier 	SCATTERED_ARRAY_FOREACH(binh->op, ta_stores, struct user_ta_store_ops) {
2375843bb75SJerome Forissier 		DMSG("Lookup user TA ELF %pUl (%s)",
2385843bb75SJerome Forissier 		     (void *)uuid, binh->op->description);
2395843bb75SJerome Forissier 
2405843bb75SJerome Forissier 		res = binh->op->open(uuid, &binh->h);
2415843bb75SJerome Forissier 		DMSG("res=0x%x", res);
2425843bb75SJerome Forissier 		if (res != TEE_ERROR_ITEM_NOT_FOUND &&
2435843bb75SJerome Forissier 		    res != TEE_ERROR_STORAGE_NOT_AVAILABLE)
2445843bb75SJerome Forissier 			break;
2455843bb75SJerome Forissier 	}
2465843bb75SJerome Forissier 	if (res)
2475843bb75SJerome Forissier 		goto err;
2485843bb75SJerome Forissier 
2495843bb75SJerome Forissier 	res = binh->op->get_size(binh->h, &binh->size_bytes);
2505843bb75SJerome Forissier 	if (res)
2515843bb75SJerome Forissier 		goto err;
2525843bb75SJerome Forissier 	res = binh->op->get_tag(binh->h, tag, &tag_len);
2535843bb75SJerome Forissier 	if (res)
2545843bb75SJerome Forissier 		goto err;
2555843bb75SJerome Forissier 	binh->f = file_get_by_tag(tag, tag_len);
2565843bb75SJerome Forissier 	if (!binh->f)
2575843bb75SJerome Forissier 		goto err_oom;
2585843bb75SJerome Forissier 
2595843bb75SJerome Forissier 	h = handle_get(&ctx->db, binh);
2605843bb75SJerome Forissier 	if (h < 0)
2615843bb75SJerome Forissier 		goto err_oom;
2625843bb75SJerome Forissier 
2635843bb75SJerome Forissier 	return TEE_SUCCESS;
2645843bb75SJerome Forissier err_oom:
2655843bb75SJerome Forissier 	res = TEE_ERROR_OUT_OF_MEMORY;
2665843bb75SJerome Forissier err:
2675843bb75SJerome Forissier 	ta_bin_close(binh);
2685843bb75SJerome Forissier 	return res;
2695843bb75SJerome Forissier }
2705843bb75SJerome Forissier 
2715843bb75SJerome Forissier static TEE_Result system_close_ta_binary(struct system_ctx *ctx,
2725843bb75SJerome Forissier 					 uint32_t param_types,
2735843bb75SJerome Forissier 					 TEE_Param params[TEE_NUM_PARAMS])
2745843bb75SJerome Forissier {
2755843bb75SJerome Forissier 	TEE_Result res = TEE_SUCCESS;
2765843bb75SJerome Forissier 	struct bin_handle *binh = NULL;
2775843bb75SJerome Forissier 	uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_VALUE_INPUT,
2785843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE,
2795843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE,
2805843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE);
2815843bb75SJerome Forissier 
2825843bb75SJerome Forissier 	if (exp_pt != param_types)
2835843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
2845843bb75SJerome Forissier 
2855843bb75SJerome Forissier 	if (params[0].value.b)
2865843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
2875843bb75SJerome Forissier 
2885843bb75SJerome Forissier 	binh = handle_put(&ctx->db, params[0].value.a);
2895843bb75SJerome Forissier 	if (!binh)
2905843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
2915843bb75SJerome Forissier 
2925843bb75SJerome Forissier 	if (binh->offs_bytes < binh->size_bytes)
2935843bb75SJerome Forissier 		res = binh->op->read(binh->h, NULL,
2945843bb75SJerome Forissier 				     binh->size_bytes - binh->offs_bytes);
2955843bb75SJerome Forissier 
2965843bb75SJerome Forissier 	ta_bin_close(binh);
2975843bb75SJerome Forissier 	return res;
2985843bb75SJerome Forissier }
2995843bb75SJerome Forissier 
3005843bb75SJerome Forissier static TEE_Result binh_copy_to(struct bin_handle *binh, vaddr_t va,
3015843bb75SJerome Forissier 			       size_t offs_bytes, size_t num_bytes)
3025843bb75SJerome Forissier {
3035843bb75SJerome Forissier 	TEE_Result res = TEE_SUCCESS;
3045843bb75SJerome Forissier 	size_t l =  num_bytes;
3055843bb75SJerome Forissier 
3065843bb75SJerome Forissier 	if (offs_bytes < binh->offs_bytes)
3075843bb75SJerome Forissier 		return TEE_ERROR_BAD_STATE;
3085843bb75SJerome Forissier 	if (offs_bytes > binh->offs_bytes) {
3095843bb75SJerome Forissier 		res = binh->op->read(binh->h, NULL,
3105843bb75SJerome Forissier 				     offs_bytes - binh->offs_bytes);
3115843bb75SJerome Forissier 		if (res)
3125843bb75SJerome Forissier 			return res;
3135843bb75SJerome Forissier 		binh->offs_bytes = offs_bytes;
3145843bb75SJerome Forissier 	}
3155843bb75SJerome Forissier 
3165843bb75SJerome Forissier 	if (binh->offs_bytes + l > binh->size_bytes) {
3175843bb75SJerome Forissier 		size_t rb = binh->size_bytes - binh->offs_bytes;
3185843bb75SJerome Forissier 
3195843bb75SJerome Forissier 		res = binh->op->read(binh->h, (void *)va, rb);
3205843bb75SJerome Forissier 		if (res)
3215843bb75SJerome Forissier 			return res;
3225843bb75SJerome Forissier 		memset((uint8_t *)va + rb, 0, l - rb);
3235843bb75SJerome Forissier 		binh->offs_bytes = binh->size_bytes;
3245843bb75SJerome Forissier 	} else {
3255843bb75SJerome Forissier 		res = binh->op->read(binh->h, (void *)va, l);
3265843bb75SJerome Forissier 		if (res)
3275843bb75SJerome Forissier 			return res;
3285843bb75SJerome Forissier 		binh->offs_bytes += l;
3295843bb75SJerome Forissier 	}
3305843bb75SJerome Forissier 
3315843bb75SJerome Forissier 	return TEE_SUCCESS;
3325843bb75SJerome Forissier }
3335843bb75SJerome Forissier 
3345843bb75SJerome Forissier static TEE_Result system_map_ta_binary(struct system_ctx *ctx,
3355843bb75SJerome Forissier 				       struct tee_ta_session *s,
3365843bb75SJerome Forissier 				       uint32_t param_types,
3375843bb75SJerome Forissier 				       TEE_Param params[TEE_NUM_PARAMS])
3385843bb75SJerome Forissier {
3395843bb75SJerome Forissier 	const uint32_t accept_flags = PTA_SYSTEM_MAP_FLAG_SHAREABLE |
3405843bb75SJerome Forissier 				      PTA_SYSTEM_MAP_FLAG_WRITEABLE |
3415843bb75SJerome Forissier 				      PTA_SYSTEM_MAP_FLAG_EXECUTABLE;
3425843bb75SJerome Forissier 	uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_VALUE_INPUT,
3435843bb75SJerome Forissier 					  TEE_PARAM_TYPE_VALUE_INPUT,
3445843bb75SJerome Forissier 					  TEE_PARAM_TYPE_VALUE_INOUT,
3455843bb75SJerome Forissier 					  TEE_PARAM_TYPE_VALUE_INPUT);
3465843bb75SJerome Forissier 	struct user_ta_ctx *utc = to_user_ta_ctx(s->ctx);
3475843bb75SJerome Forissier 	struct bin_handle *binh = NULL;
3485843bb75SJerome Forissier 	TEE_Result res = TEE_SUCCESS;
3495843bb75SJerome Forissier 	struct file_slice *fs = NULL;
3505843bb75SJerome Forissier 	bool file_is_locked = false;
3515843bb75SJerome Forissier 	struct mobj *mobj = NULL;
3525843bb75SJerome Forissier 	uint32_t offs_bytes = 0;
3535843bb75SJerome Forissier 	uint32_t offs_pages = 0;
3545843bb75SJerome Forissier 	uint32_t num_bytes = 0;
3555843bb75SJerome Forissier 	uint32_t pad_begin = 0;
3565843bb75SJerome Forissier 	uint32_t pad_end = 0;
3575843bb75SJerome Forissier 	size_t num_pages = 0;
3585843bb75SJerome Forissier 	uint32_t flags = 0;
3595843bb75SJerome Forissier 	uint32_t prot = 0;
3605843bb75SJerome Forissier 	vaddr_t va = 0;
3615843bb75SJerome Forissier 
3625843bb75SJerome Forissier 	if (exp_pt != param_types)
3635843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
3645843bb75SJerome Forissier 
3655843bb75SJerome Forissier 	binh = handle_lookup(&ctx->db, params[0].value.a);
3665843bb75SJerome Forissier 	if (!binh)
3675843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
3685843bb75SJerome Forissier 	flags = params[0].value.b;
3695843bb75SJerome Forissier 	offs_bytes = params[1].value.a;
3705843bb75SJerome Forissier 	num_bytes = params[1].value.b;
3715843bb75SJerome Forissier 	va = reg_pair_to_64(params[2].value.a, params[2].value.b);
3725843bb75SJerome Forissier 	pad_begin = params[3].value.a;
3735843bb75SJerome Forissier 	pad_end = params[3].value.b;
3745843bb75SJerome Forissier 
3755843bb75SJerome Forissier 	if ((flags & accept_flags) != flags)
3765843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
3775843bb75SJerome Forissier 
3785843bb75SJerome Forissier 	if ((flags & PTA_SYSTEM_MAP_FLAG_SHAREABLE) &&
3795843bb75SJerome Forissier 	    (flags & PTA_SYSTEM_MAP_FLAG_WRITEABLE))
3805843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
3815843bb75SJerome Forissier 
3825843bb75SJerome Forissier 	if ((flags & PTA_SYSTEM_MAP_FLAG_EXECUTABLE) &&
3835843bb75SJerome Forissier 	    (flags & PTA_SYSTEM_MAP_FLAG_WRITEABLE))
3845843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
3855843bb75SJerome Forissier 
3865843bb75SJerome Forissier 	if (offs_bytes & SMALL_PAGE_MASK)
3875843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
3885843bb75SJerome Forissier 
3895843bb75SJerome Forissier 	prot = TEE_MATTR_UR | TEE_MATTR_PR;
3905843bb75SJerome Forissier 	if (flags & PTA_SYSTEM_MAP_FLAG_WRITEABLE)
3915843bb75SJerome Forissier 		prot |= TEE_MATTR_UW | TEE_MATTR_PW;
3925843bb75SJerome Forissier 	if (flags & PTA_SYSTEM_MAP_FLAG_EXECUTABLE)
3935843bb75SJerome Forissier 		prot |= TEE_MATTR_UX;
3945843bb75SJerome Forissier 
3955843bb75SJerome Forissier 	offs_pages = offs_bytes >> SMALL_PAGE_SHIFT;
3965843bb75SJerome Forissier 	num_pages = ROUNDUP(num_bytes, SMALL_PAGE_SIZE) / SMALL_PAGE_SIZE;
3975843bb75SJerome Forissier 
3985843bb75SJerome Forissier 	if (!file_trylock(binh->f)) {
3995843bb75SJerome Forissier 		/*
4005843bb75SJerome Forissier 		 * Before we can block on the file lock we must make all
4015843bb75SJerome Forissier 		 * our page tables available for reclaiming in order to
4025843bb75SJerome Forissier 		 * avoid a dead-lock with the other thread (which already
4035843bb75SJerome Forissier 		 * is holding the file lock) mapping lots of memory below.
4045843bb75SJerome Forissier 		 */
4055843bb75SJerome Forissier 		tee_mmu_set_ctx(NULL);
4065843bb75SJerome Forissier 		file_lock(binh->f);
4075843bb75SJerome Forissier 		tee_mmu_set_ctx(s->ctx);
4085843bb75SJerome Forissier 	}
4095843bb75SJerome Forissier 	file_is_locked = true;
4105843bb75SJerome Forissier 	fs = file_find_slice(binh->f, offs_pages);
4115843bb75SJerome Forissier 	if (fs) {
4125843bb75SJerome Forissier 		/* If there's registered slice it has to match */
4135843bb75SJerome Forissier 		if (fs->page_offset != offs_pages ||
4145843bb75SJerome Forissier 		    num_pages > fs->fobj->num_pages) {
4155843bb75SJerome Forissier 			res = TEE_ERROR_BAD_PARAMETERS;
4165843bb75SJerome Forissier 			goto err;
4175843bb75SJerome Forissier 		}
4185843bb75SJerome Forissier 
4195843bb75SJerome Forissier 		/* If there's a slice we must be mapping shareable */
4205843bb75SJerome Forissier 		if (!(flags & PTA_SYSTEM_MAP_FLAG_SHAREABLE)) {
4215843bb75SJerome Forissier 			res = TEE_ERROR_BAD_PARAMETERS;
4225843bb75SJerome Forissier 			goto err;
4235843bb75SJerome Forissier 		}
4245843bb75SJerome Forissier 
4255843bb75SJerome Forissier 		mobj = mobj_with_fobj_alloc(fs->fobj, binh->f);
4265843bb75SJerome Forissier 		if (!mobj) {
4275843bb75SJerome Forissier 			res = TEE_ERROR_OUT_OF_MEMORY;
4285843bb75SJerome Forissier 			goto err;
4295843bb75SJerome Forissier 		}
430*1936dfc7SJens Wiklander 		res = vm_map_pad(&utc->uctx, &va, num_pages * SMALL_PAGE_SIZE,
431b9651492SJens Wiklander 				 prot, VM_FLAG_READONLY,
4325843bb75SJerome Forissier 				 mobj, 0, pad_begin, pad_end);
433b9651492SJens Wiklander 		mobj_put(mobj);
4345843bb75SJerome Forissier 		if (res)
4355843bb75SJerome Forissier 			goto err;
4365843bb75SJerome Forissier 	} else {
4375843bb75SJerome Forissier 		struct fobj *f = fobj_ta_mem_alloc(num_pages);
4385843bb75SJerome Forissier 		struct file *file = NULL;
439b9651492SJens Wiklander 		uint32_t vm_flags = 0;
4405843bb75SJerome Forissier 
4415843bb75SJerome Forissier 		if (!f) {
4425843bb75SJerome Forissier 			res = TEE_ERROR_OUT_OF_MEMORY;
4435843bb75SJerome Forissier 			goto err;
4445843bb75SJerome Forissier 		}
4455843bb75SJerome Forissier 		if (!(flags & PTA_SYSTEM_MAP_FLAG_WRITEABLE)) {
4465843bb75SJerome Forissier 			file = binh->f;
4475843bb75SJerome Forissier 			vm_flags |= VM_FLAG_READONLY;
4485843bb75SJerome Forissier 		}
4495843bb75SJerome Forissier 
4505843bb75SJerome Forissier 		mobj = mobj_with_fobj_alloc(f, file);
4515843bb75SJerome Forissier 		fobj_put(f);
4525843bb75SJerome Forissier 		if (!mobj) {
4535843bb75SJerome Forissier 			res = TEE_ERROR_OUT_OF_MEMORY;
4545843bb75SJerome Forissier 			goto err;
4555843bb75SJerome Forissier 		}
456*1936dfc7SJens Wiklander 		res = vm_map_pad(&utc->uctx, &va, num_pages * SMALL_PAGE_SIZE,
4575843bb75SJerome Forissier 				 TEE_MATTR_PRW, vm_flags, mobj, 0,
4585843bb75SJerome Forissier 				 pad_begin, pad_end);
459b9651492SJens Wiklander 		mobj_put(mobj);
4605843bb75SJerome Forissier 		if (res)
4615843bb75SJerome Forissier 			goto err;
4625843bb75SJerome Forissier 		res = binh_copy_to(binh, va, offs_bytes, num_bytes);
4635843bb75SJerome Forissier 		if (res)
4645843bb75SJerome Forissier 			goto err_unmap_va;
465*1936dfc7SJens Wiklander 		res = vm_set_prot(&utc->uctx, va, num_pages * SMALL_PAGE_SIZE,
466*1936dfc7SJens Wiklander 				  prot);
4675843bb75SJerome Forissier 		if (res)
4685843bb75SJerome Forissier 			goto err_unmap_va;
4695843bb75SJerome Forissier 
4705843bb75SJerome Forissier 		/*
4715843bb75SJerome Forissier 		 * The context currently is active set it again to update
4725843bb75SJerome Forissier 		 * the mapping.
4735843bb75SJerome Forissier 		 */
4745843bb75SJerome Forissier 		tee_mmu_set_ctx(s->ctx);
4755843bb75SJerome Forissier 
4765843bb75SJerome Forissier 		if (!(flags & PTA_SYSTEM_MAP_FLAG_WRITEABLE)) {
4775843bb75SJerome Forissier 			res = file_add_slice(binh->f, f, offs_pages);
4785843bb75SJerome Forissier 			if (res)
4795843bb75SJerome Forissier 				goto err_unmap_va;
4805843bb75SJerome Forissier 		}
4815843bb75SJerome Forissier 	}
4825843bb75SJerome Forissier 
4835843bb75SJerome Forissier 	file_unlock(binh->f);
4845843bb75SJerome Forissier 
4855843bb75SJerome Forissier 	reg_pair_from_64(va, &params[2].value.a, &params[2].value.b);
4865843bb75SJerome Forissier 	return TEE_SUCCESS;
4875843bb75SJerome Forissier 
4885843bb75SJerome Forissier err_unmap_va:
489*1936dfc7SJens Wiklander 	if (vm_unmap(&utc->uctx, va, num_pages * SMALL_PAGE_SIZE))
4905843bb75SJerome Forissier 		panic();
4915843bb75SJerome Forissier 
4925843bb75SJerome Forissier 	/*
4935843bb75SJerome Forissier 	 * The context currently is active set it again to update
4945843bb75SJerome Forissier 	 * the mapping.
4955843bb75SJerome Forissier 	 */
4965843bb75SJerome Forissier 	tee_mmu_set_ctx(s->ctx);
4975843bb75SJerome Forissier 
4985843bb75SJerome Forissier err:
4995843bb75SJerome Forissier 	if (file_is_locked)
5005843bb75SJerome Forissier 		file_unlock(binh->f);
5015843bb75SJerome Forissier 
5025843bb75SJerome Forissier 	return res;
5035843bb75SJerome Forissier }
5045843bb75SJerome Forissier 
5055843bb75SJerome Forissier static TEE_Result system_copy_from_ta_binary(struct system_ctx *ctx,
5065843bb75SJerome Forissier 					     uint32_t param_types,
5075843bb75SJerome Forissier 					     TEE_Param params[TEE_NUM_PARAMS])
5085843bb75SJerome Forissier {
5095843bb75SJerome Forissier 	struct bin_handle *binh = NULL;
5105843bb75SJerome Forissier 	uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_VALUE_INPUT,
5115843bb75SJerome Forissier 					  TEE_PARAM_TYPE_MEMREF_OUTPUT,
5125843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE,
5135843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE);
5145843bb75SJerome Forissier 
5155843bb75SJerome Forissier 	if (exp_pt != param_types)
5165843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
5175843bb75SJerome Forissier 
5185843bb75SJerome Forissier 	binh = handle_lookup(&ctx->db, params[0].value.a);
5195843bb75SJerome Forissier 	if (!binh)
5205843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
5215843bb75SJerome Forissier 
5225843bb75SJerome Forissier 	return binh_copy_to(binh, (vaddr_t)params[1].memref.buffer,
5235843bb75SJerome Forissier 			    params[0].value.b, params[1].memref.size);
5245843bb75SJerome Forissier }
5255843bb75SJerome Forissier 
5265843bb75SJerome Forissier static TEE_Result system_set_prot(struct tee_ta_session *s,
5275843bb75SJerome Forissier 				  uint32_t param_types,
5285843bb75SJerome Forissier 				  TEE_Param params[TEE_NUM_PARAMS])
5295843bb75SJerome Forissier {
5305843bb75SJerome Forissier 	const uint32_t accept_flags = PTA_SYSTEM_MAP_FLAG_WRITEABLE |
5315843bb75SJerome Forissier 				      PTA_SYSTEM_MAP_FLAG_EXECUTABLE;
5325843bb75SJerome Forissier 	uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_VALUE_INPUT,
5335843bb75SJerome Forissier 					  TEE_PARAM_TYPE_VALUE_INPUT,
5345843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE,
5355843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE);
5365843bb75SJerome Forissier 	struct user_ta_ctx *utc = to_user_ta_ctx(s->ctx);
5375843bb75SJerome Forissier 	uint32_t prot = TEE_MATTR_UR | TEE_MATTR_PR;
5385843bb75SJerome Forissier 	TEE_Result res = TEE_SUCCESS;
5395843bb75SJerome Forissier 	uint32_t vm_flags = 0;
5405843bb75SJerome Forissier 	uint32_t flags = 0;
5415843bb75SJerome Forissier 	vaddr_t va = 0;
5425843bb75SJerome Forissier 	size_t sz = 0;
5435843bb75SJerome Forissier 
5445843bb75SJerome Forissier 	if (exp_pt != param_types)
5455843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
5465843bb75SJerome Forissier 
5475843bb75SJerome Forissier 	flags = params[0].value.b;
5485843bb75SJerome Forissier 
5495843bb75SJerome Forissier 	if ((flags & accept_flags) != flags)
5505843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
5515843bb75SJerome Forissier 	if (flags & PTA_SYSTEM_MAP_FLAG_WRITEABLE)
5525843bb75SJerome Forissier 		prot |= TEE_MATTR_UW | TEE_MATTR_PW;
5535843bb75SJerome Forissier 	if (flags & PTA_SYSTEM_MAP_FLAG_EXECUTABLE)
5545843bb75SJerome Forissier 		prot |= TEE_MATTR_UX;
5555843bb75SJerome Forissier 
5565843bb75SJerome Forissier 	va = reg_pair_to_64(params[1].value.a, params[1].value.b),
5575843bb75SJerome Forissier 	sz = ROUNDUP(params[0].value.a, SMALL_PAGE_SIZE);
5585843bb75SJerome Forissier 
559*1936dfc7SJens Wiklander 	res = vm_get_flags(&utc->uctx, va, sz, &vm_flags);
5605843bb75SJerome Forissier 	if (res)
5615843bb75SJerome Forissier 		return res;
5625843bb75SJerome Forissier 
5635843bb75SJerome Forissier 	/*
5645843bb75SJerome Forissier 	 * If the segment is a mapping of a part of a file (vm_flags &
5655843bb75SJerome Forissier 	 * VM_FLAG_READONLY) it cannot be made writeable as all mapped
5665843bb75SJerome Forissier 	 * files are mapped read-only.
5675843bb75SJerome Forissier 	 */
5685843bb75SJerome Forissier 	if ((vm_flags & VM_FLAG_READONLY) &&
5695843bb75SJerome Forissier 	    (prot & (TEE_MATTR_UW | TEE_MATTR_PW)))
5705843bb75SJerome Forissier 		return TEE_ERROR_ACCESS_DENIED;
5715843bb75SJerome Forissier 
572*1936dfc7SJens Wiklander 	return vm_set_prot(&utc->uctx, va, sz, prot);
5735843bb75SJerome Forissier }
5745843bb75SJerome Forissier 
5755843bb75SJerome Forissier static TEE_Result system_remap(struct tee_ta_session *s, uint32_t param_types,
5765843bb75SJerome Forissier 			       TEE_Param params[TEE_NUM_PARAMS])
5775843bb75SJerome Forissier {
5785843bb75SJerome Forissier 	uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_VALUE_INPUT,
5795843bb75SJerome Forissier 					  TEE_PARAM_TYPE_VALUE_INPUT,
5805843bb75SJerome Forissier 					  TEE_PARAM_TYPE_VALUE_INOUT,
5815843bb75SJerome Forissier 					  TEE_PARAM_TYPE_VALUE_INPUT);
5825843bb75SJerome Forissier 	struct user_ta_ctx *utc = to_user_ta_ctx(s->ctx);
5835843bb75SJerome Forissier 	TEE_Result res = TEE_SUCCESS;
5845843bb75SJerome Forissier 	uint32_t num_bytes = 0;
5855843bb75SJerome Forissier 	uint32_t pad_begin = 0;
5865843bb75SJerome Forissier 	uint32_t pad_end = 0;
5875843bb75SJerome Forissier 	vaddr_t old_va = 0;
5885843bb75SJerome Forissier 	vaddr_t new_va = 0;
5895843bb75SJerome Forissier 
5905843bb75SJerome Forissier 	if (exp_pt != param_types)
5915843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
5925843bb75SJerome Forissier 
5935843bb75SJerome Forissier 	num_bytes = params[0].value.a;
5945843bb75SJerome Forissier 	old_va = reg_pair_to_64(params[1].value.a, params[1].value.b);
5955843bb75SJerome Forissier 	new_va = reg_pair_to_64(params[2].value.a, params[2].value.b);
5965843bb75SJerome Forissier 	pad_begin = params[3].value.a;
5975843bb75SJerome Forissier 	pad_end = params[3].value.b;
5985843bb75SJerome Forissier 
599*1936dfc7SJens Wiklander 	res = vm_remap(&utc->uctx, &new_va, old_va, num_bytes, pad_begin,
600*1936dfc7SJens Wiklander 		       pad_end);
6015843bb75SJerome Forissier 	if (!res)
6025843bb75SJerome Forissier 		reg_pair_from_64(new_va, &params[2].value.a,
6035843bb75SJerome Forissier 				 &params[2].value.b);
6045843bb75SJerome Forissier 
6055843bb75SJerome Forissier 	return res;
6065843bb75SJerome Forissier }
6075843bb75SJerome Forissier 
6085843bb75SJerome Forissier /* ldelf has the same architecture/register width as the kernel */
6095843bb75SJerome Forissier #ifdef ARM32
6105843bb75SJerome Forissier static const bool is_arm32 = true;
6115843bb75SJerome Forissier #else
6125843bb75SJerome Forissier static const bool is_arm32;
6135843bb75SJerome Forissier #endif
6145843bb75SJerome Forissier 
6155843bb75SJerome Forissier static TEE_Result call_ldelf_dlopen(struct user_ta_ctx *utc, TEE_UUID *uuid,
6165843bb75SJerome Forissier 				    uint32_t flags)
6175843bb75SJerome Forissier {
6185843bb75SJerome Forissier 	uaddr_t usr_stack = utc->ldelf_stack_ptr;
6195843bb75SJerome Forissier 	TEE_Result res = TEE_ERROR_GENERIC;
6205843bb75SJerome Forissier 	struct dl_entry_arg *arg = NULL;
6215843bb75SJerome Forissier 	uint32_t panic_code = 0;
6225843bb75SJerome Forissier 	uint32_t panicked = 0;
6235843bb75SJerome Forissier 
6245843bb75SJerome Forissier 	assert(uuid);
6255843bb75SJerome Forissier 
6265843bb75SJerome Forissier 	usr_stack -= ROUNDUP(sizeof(*arg), STACK_ALIGNMENT);
6275843bb75SJerome Forissier 	arg = (struct dl_entry_arg *)usr_stack;
6285843bb75SJerome Forissier 
629*1936dfc7SJens Wiklander 	res = tee_mmu_check_access_rights(&utc->uctx,
630*1936dfc7SJens Wiklander 					  TEE_MEMORY_ACCESS_READ |
6315843bb75SJerome Forissier 					  TEE_MEMORY_ACCESS_WRITE |
6325843bb75SJerome Forissier 					  TEE_MEMORY_ACCESS_ANY_OWNER,
6335843bb75SJerome Forissier 					  (uaddr_t)arg, sizeof(*arg));
6345843bb75SJerome Forissier 	if (res) {
6355843bb75SJerome Forissier 		EMSG("ldelf stack is inaccessible!");
6365843bb75SJerome Forissier 		return res;
6375843bb75SJerome Forissier 	}
6385843bb75SJerome Forissier 
6395843bb75SJerome Forissier 	memset(arg, 0, sizeof(*arg));
6405843bb75SJerome Forissier 	arg->cmd = LDELF_DL_ENTRY_DLOPEN;
6415843bb75SJerome Forissier 	arg->dlopen.uuid = *uuid;
6425843bb75SJerome Forissier 	arg->dlopen.flags = flags;
6435843bb75SJerome Forissier 
6445843bb75SJerome Forissier 	res = thread_enter_user_mode((vaddr_t)arg, 0, 0, 0,
6455843bb75SJerome Forissier 				     usr_stack, utc->dl_entry_func,
6465843bb75SJerome Forissier 				     is_arm32, &panicked, &panic_code);
6475843bb75SJerome Forissier 	if (panicked) {
6485843bb75SJerome Forissier 		EMSG("ldelf dl_entry function panicked");
6495843bb75SJerome Forissier 		abort_print_current_ta();
6505843bb75SJerome Forissier 		res = TEE_ERROR_TARGET_DEAD;
6515843bb75SJerome Forissier 	}
6525843bb75SJerome Forissier 	if (!res)
6535843bb75SJerome Forissier 		res = arg->ret;
6545843bb75SJerome Forissier 
6555843bb75SJerome Forissier 	return res;
6565843bb75SJerome Forissier }
6575843bb75SJerome Forissier 
6585843bb75SJerome Forissier static TEE_Result call_ldelf_dlsym(struct user_ta_ctx *utc, TEE_UUID *uuid,
6595843bb75SJerome Forissier 				   const char *sym, size_t maxlen, vaddr_t *val)
6605843bb75SJerome Forissier {
6615843bb75SJerome Forissier 	uaddr_t usr_stack = utc->ldelf_stack_ptr;
6625843bb75SJerome Forissier 	TEE_Result res = TEE_ERROR_GENERIC;
6635843bb75SJerome Forissier 	struct dl_entry_arg *arg = NULL;
6645843bb75SJerome Forissier 	uint32_t panic_code = 0;
6655843bb75SJerome Forissier 	uint32_t panicked = 0;
6665843bb75SJerome Forissier 	size_t len = strnlen(sym, maxlen);
6675843bb75SJerome Forissier 
6685843bb75SJerome Forissier 	if (len == maxlen)
6695843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
6705843bb75SJerome Forissier 
6715843bb75SJerome Forissier 	usr_stack -= ROUNDUP(sizeof(*arg) + len + 1, STACK_ALIGNMENT);
6725843bb75SJerome Forissier 	arg = (struct dl_entry_arg *)usr_stack;
6735843bb75SJerome Forissier 
674*1936dfc7SJens Wiklander 	res = tee_mmu_check_access_rights(&utc->uctx,
675*1936dfc7SJens Wiklander 					  TEE_MEMORY_ACCESS_READ |
6765843bb75SJerome Forissier 					  TEE_MEMORY_ACCESS_WRITE |
6775843bb75SJerome Forissier 					  TEE_MEMORY_ACCESS_ANY_OWNER,
678*1936dfc7SJens Wiklander 					  (uaddr_t)arg, sizeof(*arg) + len + 1);
6795843bb75SJerome Forissier 	if (res) {
6805843bb75SJerome Forissier 		EMSG("ldelf stack is inaccessible!");
6815843bb75SJerome Forissier 		return res;
6825843bb75SJerome Forissier 	}
6835843bb75SJerome Forissier 
6845843bb75SJerome Forissier 	memset(arg, 0, sizeof(*arg));
6855843bb75SJerome Forissier 	arg->cmd = LDELF_DL_ENTRY_DLSYM;
6865843bb75SJerome Forissier 	arg->dlsym.uuid = *uuid;
6875843bb75SJerome Forissier 	memcpy(arg->dlsym.symbol, sym, len);
6888027bd32SEtienne Carriere 	arg->dlsym.symbol[len] = '\0';
6895843bb75SJerome Forissier 
6905843bb75SJerome Forissier 	res = thread_enter_user_mode((vaddr_t)arg, 0, 0, 0,
6915843bb75SJerome Forissier 				     usr_stack, utc->dl_entry_func,
6925843bb75SJerome Forissier 				     is_arm32, &panicked, &panic_code);
6935843bb75SJerome Forissier 	if (panicked) {
6945843bb75SJerome Forissier 		EMSG("ldelf dl_entry function panicked");
6955843bb75SJerome Forissier 		abort_print_current_ta();
6965843bb75SJerome Forissier 		res = TEE_ERROR_TARGET_DEAD;
6975843bb75SJerome Forissier 	}
6985843bb75SJerome Forissier 	if (!res) {
6995843bb75SJerome Forissier 		res = arg->ret;
7005843bb75SJerome Forissier 		if (!res)
7015843bb75SJerome Forissier 			*val = arg->dlsym.val;
7025843bb75SJerome Forissier 	}
7035843bb75SJerome Forissier 
7045843bb75SJerome Forissier 	return res;
7055843bb75SJerome Forissier }
7065843bb75SJerome Forissier 
7075843bb75SJerome Forissier static TEE_Result system_dlopen(struct tee_ta_session *cs, uint32_t param_types,
7085843bb75SJerome Forissier 				TEE_Param params[TEE_NUM_PARAMS])
7095843bb75SJerome Forissier {
7105843bb75SJerome Forissier 	uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_MEMREF_INPUT,
7115843bb75SJerome Forissier 					  TEE_PARAM_TYPE_VALUE_INPUT,
7125843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE,
7135843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE);
7145843bb75SJerome Forissier 	TEE_Result res = TEE_ERROR_GENERIC;
7155843bb75SJerome Forissier 	struct tee_ta_session *s = NULL;
7165843bb75SJerome Forissier 	struct user_ta_ctx *utc = NULL;
7175843bb75SJerome Forissier 	TEE_UUID *uuid = NULL;
7185843bb75SJerome Forissier 	uint32_t flags = 0;
7195843bb75SJerome Forissier 
7205843bb75SJerome Forissier 	if (exp_pt != param_types)
7215843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
7225843bb75SJerome Forissier 
7235843bb75SJerome Forissier 	uuid = params[0].memref.buffer;
7245843bb75SJerome Forissier 	if (!uuid || params[0].memref.size != sizeof(*uuid))
7255843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
7265843bb75SJerome Forissier 
7275843bb75SJerome Forissier 	flags = params[1].value.a;
7285843bb75SJerome Forissier 
7295843bb75SJerome Forissier 	utc = to_user_ta_ctx(cs->ctx);
7305843bb75SJerome Forissier 
7315843bb75SJerome Forissier 	s = tee_ta_pop_current_session();
7325843bb75SJerome Forissier 	res = call_ldelf_dlopen(utc, uuid, flags);
7335843bb75SJerome Forissier 	tee_ta_push_current_session(s);
7345843bb75SJerome Forissier 
7355843bb75SJerome Forissier 	return res;
7365843bb75SJerome Forissier }
7375843bb75SJerome Forissier 
7385843bb75SJerome Forissier static TEE_Result system_dlsym(struct tee_ta_session *cs, uint32_t param_types,
7395843bb75SJerome Forissier 			       TEE_Param params[TEE_NUM_PARAMS])
7405843bb75SJerome Forissier {
7415843bb75SJerome Forissier 	uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_MEMREF_INPUT,
7425843bb75SJerome Forissier 					  TEE_PARAM_TYPE_MEMREF_INPUT,
7435843bb75SJerome Forissier 					  TEE_PARAM_TYPE_VALUE_OUTPUT,
7445843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE);
7455843bb75SJerome Forissier 	TEE_Result res = TEE_ERROR_GENERIC;
7465843bb75SJerome Forissier 	struct tee_ta_session *s = NULL;
7475843bb75SJerome Forissier 	struct user_ta_ctx *utc = NULL;
7485843bb75SJerome Forissier 	const char *sym = NULL;
7495843bb75SJerome Forissier 	TEE_UUID *uuid = NULL;
7505843bb75SJerome Forissier 	size_t maxlen = 0;
7515843bb75SJerome Forissier 	vaddr_t va = 0;
7525843bb75SJerome Forissier 
7535843bb75SJerome Forissier 	if (exp_pt != param_types)
7545843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
7555843bb75SJerome Forissier 
7565843bb75SJerome Forissier 	uuid = params[0].memref.buffer;
7575843bb75SJerome Forissier 	if (uuid && params[0].memref.size != sizeof(*uuid))
7585843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
7595843bb75SJerome Forissier 
7605843bb75SJerome Forissier 	sym = params[1].memref.buffer;
7615843bb75SJerome Forissier 	if (!sym)
7625843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
7635843bb75SJerome Forissier 	maxlen = params[1].memref.size;
7645843bb75SJerome Forissier 
7655843bb75SJerome Forissier 	utc = to_user_ta_ctx(cs->ctx);
7665843bb75SJerome Forissier 
7675843bb75SJerome Forissier 	s = tee_ta_pop_current_session();
7685843bb75SJerome Forissier 	res = call_ldelf_dlsym(utc, uuid, sym, maxlen, &va);
7695843bb75SJerome Forissier 	tee_ta_push_current_session(s);
7705843bb75SJerome Forissier 
7715843bb75SJerome Forissier 	if (!res)
7725843bb75SJerome Forissier 		reg_pair_from_64(va, &params[2].value.a, &params[2].value.b);
7735843bb75SJerome Forissier 
7745843bb75SJerome Forissier 	return res;
7755843bb75SJerome Forissier }
7765843bb75SJerome Forissier 
7775843bb75SJerome Forissier static TEE_Result open_session(uint32_t param_types __unused,
7785843bb75SJerome Forissier 			       TEE_Param params[TEE_NUM_PARAMS] __unused,
7795843bb75SJerome Forissier 			       void **sess_ctx)
7805843bb75SJerome Forissier {
7815843bb75SJerome Forissier 	struct tee_ta_session *s = NULL;
7825843bb75SJerome Forissier 	struct system_ctx *ctx = NULL;
7835843bb75SJerome Forissier 
7845843bb75SJerome Forissier 	/* Check that we're called from a user TA */
7855843bb75SJerome Forissier 	s = tee_ta_get_calling_session();
7865843bb75SJerome Forissier 	if (!s)
7875843bb75SJerome Forissier 		return TEE_ERROR_ACCESS_DENIED;
7885843bb75SJerome Forissier 	if (!is_user_ta_ctx(s->ctx))
7895843bb75SJerome Forissier 		return TEE_ERROR_ACCESS_DENIED;
7905843bb75SJerome Forissier 
7915843bb75SJerome Forissier 	ctx = calloc(1, sizeof(*ctx));
7925843bb75SJerome Forissier 	if (!ctx)
7935843bb75SJerome Forissier 		return TEE_ERROR_OUT_OF_MEMORY;
7945843bb75SJerome Forissier 
7955843bb75SJerome Forissier 	*sess_ctx = ctx;
7965843bb75SJerome Forissier 
7975843bb75SJerome Forissier 	return TEE_SUCCESS;
7985843bb75SJerome Forissier }
7995843bb75SJerome Forissier 
8005843bb75SJerome Forissier static void close_session(void *sess_ctx)
8015843bb75SJerome Forissier {
8025843bb75SJerome Forissier 	struct system_ctx *ctx = sess_ctx;
8035843bb75SJerome Forissier 
8045843bb75SJerome Forissier 	handle_db_destroy(&ctx->db, ta_bin_close);
8055843bb75SJerome Forissier 	free(ctx);
8065843bb75SJerome Forissier }
8075843bb75SJerome Forissier 
8085843bb75SJerome Forissier static TEE_Result invoke_command(void *sess_ctx, uint32_t cmd_id,
8095843bb75SJerome Forissier 				 uint32_t param_types,
8105843bb75SJerome Forissier 				 TEE_Param params[TEE_NUM_PARAMS])
8115843bb75SJerome Forissier {
8125843bb75SJerome Forissier 	struct tee_ta_session *s = tee_ta_get_calling_session();
8135843bb75SJerome Forissier 
8145843bb75SJerome Forissier 	switch (cmd_id) {
8155843bb75SJerome Forissier 	case PTA_SYSTEM_ADD_RNG_ENTROPY:
8165843bb75SJerome Forissier 		return system_rng_reseed(s, param_types, params);
8175843bb75SJerome Forissier 	case PTA_SYSTEM_DERIVE_TA_UNIQUE_KEY:
8185843bb75SJerome Forissier 		return system_derive_ta_unique_key(s, param_types, params);
8195843bb75SJerome Forissier 	case PTA_SYSTEM_MAP_ZI:
8205843bb75SJerome Forissier 		return system_map_zi(s, param_types, params);
8215843bb75SJerome Forissier 	case PTA_SYSTEM_UNMAP:
8225843bb75SJerome Forissier 		return system_unmap(s, param_types, params);
8235843bb75SJerome Forissier 	case PTA_SYSTEM_OPEN_TA_BINARY:
8245843bb75SJerome Forissier 		return system_open_ta_binary(sess_ctx, param_types, params);
8255843bb75SJerome Forissier 	case PTA_SYSTEM_CLOSE_TA_BINARY:
8265843bb75SJerome Forissier 		return system_close_ta_binary(sess_ctx, param_types, params);
8275843bb75SJerome Forissier 	case PTA_SYSTEM_MAP_TA_BINARY:
8285843bb75SJerome Forissier 		return system_map_ta_binary(sess_ctx, s, param_types, params);
8295843bb75SJerome Forissier 	case PTA_SYSTEM_COPY_FROM_TA_BINARY:
8305843bb75SJerome Forissier 		return system_copy_from_ta_binary(sess_ctx, param_types,
8315843bb75SJerome Forissier 						  params);
8325843bb75SJerome Forissier 	case PTA_SYSTEM_SET_PROT:
8335843bb75SJerome Forissier 		return system_set_prot(s, param_types, params);
8345843bb75SJerome Forissier 	case PTA_SYSTEM_REMAP:
8355843bb75SJerome Forissier 		return system_remap(s, param_types, params);
8365843bb75SJerome Forissier 	case PTA_SYSTEM_DLOPEN:
8375843bb75SJerome Forissier 		return system_dlopen(s, param_types, params);
8385843bb75SJerome Forissier 	case PTA_SYSTEM_DLSYM:
8395843bb75SJerome Forissier 		return system_dlsym(s, param_types, params);
8405843bb75SJerome Forissier 	default:
8415843bb75SJerome Forissier 		break;
8425843bb75SJerome Forissier 	}
8435843bb75SJerome Forissier 
8445843bb75SJerome Forissier 	return TEE_ERROR_NOT_IMPLEMENTED;
8455843bb75SJerome Forissier }
8465843bb75SJerome Forissier 
8475843bb75SJerome Forissier pseudo_ta_register(.uuid = PTA_SYSTEM_UUID, .name = "system.pta",
8485843bb75SJerome Forissier 		   .flags = PTA_DEFAULT_FLAGS | TA_FLAG_CONCURRENT,
8495843bb75SJerome Forissier 		   .open_session_entry_point = open_session,
8505843bb75SJerome Forissier 		   .close_session_entry_point = close_session,
8515843bb75SJerome Forissier 		   .invoke_command_entry_point = invoke_command);
852