xref: /optee_os/core/pta/system.c (revision 1e4e976bf8a7b454c3303c3097904a3a2dbd6a83)
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>
24dd333f03SJavier Almansa Sobrino #include <kernel/tpm.h>
255843bb75SJerome Forissier 
265843bb75SJerome Forissier struct bin_handle {
275843bb75SJerome Forissier 	const struct user_ta_store_ops *op;
285843bb75SJerome Forissier 	struct user_ta_store_handle *h;
295843bb75SJerome Forissier 	struct file *f;
305843bb75SJerome Forissier 	size_t offs_bytes;
315843bb75SJerome Forissier 	size_t size_bytes;
325843bb75SJerome Forissier };
335843bb75SJerome Forissier 
345843bb75SJerome Forissier struct system_ctx {
355843bb75SJerome Forissier 	struct handle_db db;
365843bb75SJerome Forissier 	const struct user_ta_store_ops *store_op;
375843bb75SJerome Forissier };
385843bb75SJerome Forissier 
395843bb75SJerome Forissier static unsigned int system_pnum;
405843bb75SJerome Forissier 
415843bb75SJerome Forissier static TEE_Result system_rng_reseed(struct tee_ta_session *s __unused,
425843bb75SJerome Forissier 				uint32_t param_types,
435843bb75SJerome Forissier 				TEE_Param params[TEE_NUM_PARAMS])
445843bb75SJerome Forissier {
455843bb75SJerome Forissier 	size_t entropy_sz;
465843bb75SJerome Forissier 	uint8_t *entropy_input;
475843bb75SJerome Forissier 	uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_MEMREF_INPUT,
485843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE,
495843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE,
505843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE);
515843bb75SJerome Forissier 
525843bb75SJerome Forissier 	if (exp_pt != param_types)
535843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
545843bb75SJerome Forissier 	entropy_input = params[0].memref.buffer;
555843bb75SJerome Forissier 	entropy_sz = params[0].memref.size;
565843bb75SJerome Forissier 
57c2020b9dSJens Wiklander 	if (!entropy_sz || !entropy_input)
585843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
595843bb75SJerome Forissier 
605843bb75SJerome Forissier 	crypto_rng_add_event(CRYPTO_RNG_SRC_NONSECURE, &system_pnum,
615843bb75SJerome Forissier 			     entropy_input, entropy_sz);
625843bb75SJerome Forissier 	return TEE_SUCCESS;
635843bb75SJerome Forissier }
645843bb75SJerome Forissier 
655843bb75SJerome Forissier static TEE_Result system_derive_ta_unique_key(struct tee_ta_session *s,
665843bb75SJerome Forissier 					      uint32_t param_types,
675843bb75SJerome Forissier 					      TEE_Param params[TEE_NUM_PARAMS])
685843bb75SJerome Forissier {
695843bb75SJerome Forissier 	size_t data_len = sizeof(TEE_UUID);
705843bb75SJerome Forissier 	TEE_Result res = TEE_ERROR_GENERIC;
715843bb75SJerome Forissier 	uint8_t *data = NULL;
725843bb75SJerome Forissier 	uint32_t access_flags = 0;
735843bb75SJerome Forissier 	uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_MEMREF_INPUT,
745843bb75SJerome Forissier 					  TEE_PARAM_TYPE_MEMREF_OUTPUT,
755843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE,
765843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE);
775843bb75SJerome Forissier 	struct user_ta_ctx *utc = NULL;
785843bb75SJerome Forissier 
795843bb75SJerome Forissier 	if (exp_pt != param_types)
805843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
815843bb75SJerome Forissier 
825843bb75SJerome Forissier 	if (params[0].memref.size > TA_DERIVED_EXTRA_DATA_MAX_SIZE ||
835843bb75SJerome Forissier 	    params[1].memref.size < TA_DERIVED_KEY_MIN_SIZE ||
845843bb75SJerome Forissier 	    params[1].memref.size > TA_DERIVED_KEY_MAX_SIZE)
855843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
865843bb75SJerome Forissier 
875843bb75SJerome Forissier 	utc = to_user_ta_ctx(s->ctx);
885843bb75SJerome Forissier 
895843bb75SJerome Forissier 	/*
905843bb75SJerome Forissier 	 * The derived key shall not end up in non-secure memory by
915843bb75SJerome Forissier 	 * mistake.
925843bb75SJerome Forissier 	 *
935843bb75SJerome Forissier 	 * Note that we're allowing shared memory as long as it's
945843bb75SJerome Forissier 	 * secure. This is needed because a TA always uses shared memory
955843bb75SJerome Forissier 	 * when communicating with another TA.
965843bb75SJerome Forissier 	 */
975843bb75SJerome Forissier 	access_flags = TEE_MEMORY_ACCESS_WRITE | TEE_MEMORY_ACCESS_ANY_OWNER |
985843bb75SJerome Forissier 		       TEE_MEMORY_ACCESS_SECURE;
991936dfc7SJens Wiklander 	res = tee_mmu_check_access_rights(&utc->uctx, access_flags,
1005843bb75SJerome Forissier 					  (uaddr_t)params[1].memref.buffer,
1015843bb75SJerome Forissier 					  params[1].memref.size);
1025843bb75SJerome Forissier 	if (res != TEE_SUCCESS)
1035843bb75SJerome Forissier 		return TEE_ERROR_SECURITY;
1045843bb75SJerome Forissier 
1055843bb75SJerome Forissier 	/* Take extra data into account. */
1065843bb75SJerome Forissier 	if (ADD_OVERFLOW(data_len, params[0].memref.size, &data_len))
1075843bb75SJerome Forissier 		return TEE_ERROR_SECURITY;
1085843bb75SJerome Forissier 
1095843bb75SJerome Forissier 	data = calloc(data_len, 1);
1105843bb75SJerome Forissier 	if (!data)
1115843bb75SJerome Forissier 		return TEE_ERROR_OUT_OF_MEMORY;
1125843bb75SJerome Forissier 
1135843bb75SJerome Forissier 	memcpy(data, &s->ctx->uuid, sizeof(TEE_UUID));
1145843bb75SJerome Forissier 
1155843bb75SJerome Forissier 	/* Append the user provided data */
1165843bb75SJerome Forissier 	memcpy(data + sizeof(TEE_UUID), params[0].memref.buffer,
1175843bb75SJerome Forissier 	       params[0].memref.size);
1185843bb75SJerome Forissier 
1195843bb75SJerome Forissier 	res = huk_subkey_derive(HUK_SUBKEY_UNIQUE_TA, data, data_len,
1205843bb75SJerome Forissier 				params[1].memref.buffer,
1215843bb75SJerome Forissier 				params[1].memref.size);
1225843bb75SJerome Forissier 	free(data);
1235843bb75SJerome Forissier 
1245843bb75SJerome Forissier 	return res;
1255843bb75SJerome Forissier }
1265843bb75SJerome Forissier 
1275843bb75SJerome Forissier static TEE_Result system_map_zi(struct tee_ta_session *s, uint32_t param_types,
1285843bb75SJerome Forissier 				TEE_Param params[TEE_NUM_PARAMS])
1295843bb75SJerome Forissier {
1305843bb75SJerome Forissier 	uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_VALUE_INPUT,
1315843bb75SJerome Forissier 					  TEE_PARAM_TYPE_VALUE_INOUT,
1325843bb75SJerome Forissier 					  TEE_PARAM_TYPE_VALUE_INPUT,
1335843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE);
1345843bb75SJerome Forissier 	struct user_ta_ctx *utc = to_user_ta_ctx(s->ctx);
1355843bb75SJerome Forissier 	uint32_t prot = TEE_MATTR_URW | TEE_MATTR_PRW;
1365843bb75SJerome Forissier 	TEE_Result res = TEE_ERROR_GENERIC;
1375843bb75SJerome Forissier 	struct mobj *mobj = NULL;
1385843bb75SJerome Forissier 	uint32_t pad_begin = 0;
139b9651492SJens Wiklander 	uint32_t vm_flags = 0;
1405843bb75SJerome Forissier 	struct fobj *f = NULL;
1415843bb75SJerome Forissier 	uint32_t pad_end = 0;
1425843bb75SJerome Forissier 	size_t num_bytes = 0;
1435843bb75SJerome Forissier 	vaddr_t va = 0;
1445843bb75SJerome Forissier 
1455843bb75SJerome Forissier 	if (exp_pt != param_types)
1465843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
1475843bb75SJerome Forissier 	if (params[0].value.b & ~PTA_SYSTEM_MAP_FLAG_SHAREABLE)
1485843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
1495843bb75SJerome Forissier 
1505843bb75SJerome Forissier 	if (params[0].value.b & PTA_SYSTEM_MAP_FLAG_SHAREABLE)
1515843bb75SJerome Forissier 		vm_flags |= VM_FLAG_SHAREABLE;
1525843bb75SJerome Forissier 
1535843bb75SJerome Forissier 	num_bytes = params[0].value.a;
1545843bb75SJerome Forissier 	va = reg_pair_to_64(params[1].value.a, params[1].value.b);
1555843bb75SJerome Forissier 	pad_begin = params[2].value.a;
1565843bb75SJerome Forissier 	pad_end = params[2].value.b;
1575843bb75SJerome Forissier 
158787295dfSJens Wiklander 	f = fobj_ta_mem_alloc(ROUNDUP_DIV(num_bytes, SMALL_PAGE_SIZE));
1595843bb75SJerome Forissier 	if (!f)
1605843bb75SJerome Forissier 		return TEE_ERROR_OUT_OF_MEMORY;
1615843bb75SJerome Forissier 	mobj = mobj_with_fobj_alloc(f, NULL);
1625843bb75SJerome Forissier 	fobj_put(f);
1635843bb75SJerome Forissier 	if (!mobj)
1645843bb75SJerome Forissier 		return TEE_ERROR_OUT_OF_MEMORY;
1651936dfc7SJens Wiklander 	res = vm_map_pad(&utc->uctx, &va, num_bytes, prot, vm_flags,
1665843bb75SJerome Forissier 			 mobj, 0, pad_begin, pad_end);
167b9651492SJens Wiklander 	mobj_put(mobj);
168b9651492SJens Wiklander 	if (!res)
1695843bb75SJerome Forissier 		reg_pair_from_64(va, &params[1].value.a, &params[1].value.b);
1705843bb75SJerome Forissier 
1715843bb75SJerome Forissier 	return res;
1725843bb75SJerome Forissier }
1735843bb75SJerome Forissier 
1745843bb75SJerome Forissier static TEE_Result system_unmap(struct tee_ta_session *s, uint32_t param_types,
1755843bb75SJerome Forissier 			       TEE_Param params[TEE_NUM_PARAMS])
1765843bb75SJerome Forissier {
1775843bb75SJerome Forissier 	uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_VALUE_INPUT,
1785843bb75SJerome Forissier 					  TEE_PARAM_TYPE_VALUE_INPUT,
1795843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE,
1805843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE);
18179f22013SJens Wiklander 	struct user_ta_ctx *utc = to_user_ta_ctx(s->ctx);
18279f22013SJens Wiklander 	TEE_Result res = TEE_SUCCESS;
18379f22013SJens Wiklander 	uint32_t vm_flags = 0;
18479f22013SJens Wiklander 	vaddr_t va = 0;
18579f22013SJens Wiklander 	size_t sz = 0;
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 
19379f22013SJens Wiklander 	va = reg_pair_to_64(params[1].value.a, params[1].value.b);
19479f22013SJens Wiklander 	sz = ROUNDUP(params[0].value.a, SMALL_PAGE_SIZE);
19579f22013SJens Wiklander 
19679f22013SJens Wiklander 	res = vm_get_flags(&utc->uctx, va, sz, &vm_flags);
19779f22013SJens Wiklander 	if (res)
19879f22013SJens Wiklander 		return res;
19979f22013SJens Wiklander 	if (vm_flags & VM_FLAG_PERMANENT)
20079f22013SJens Wiklander 		return TEE_ERROR_ACCESS_DENIED;
20179f22013SJens Wiklander 
20279f22013SJens Wiklander 	return vm_unmap(&to_user_ta_ctx(s->ctx)->uctx, va, sz);
2035843bb75SJerome Forissier }
2045843bb75SJerome Forissier 
2055843bb75SJerome Forissier static void ta_bin_close(void *ptr)
2065843bb75SJerome Forissier {
2075843bb75SJerome Forissier 	struct bin_handle *binh = ptr;
2085843bb75SJerome Forissier 
2095843bb75SJerome Forissier 	if (binh) {
2105843bb75SJerome Forissier 		if (binh->op && binh->h)
2115843bb75SJerome Forissier 			binh->op->close(binh->h);
2125843bb75SJerome Forissier 		file_put(binh->f);
2135843bb75SJerome Forissier 	}
2145843bb75SJerome Forissier 	free(binh);
2155843bb75SJerome Forissier }
2165843bb75SJerome Forissier 
2175843bb75SJerome Forissier static TEE_Result system_open_ta_binary(struct system_ctx *ctx,
2185843bb75SJerome Forissier 					uint32_t param_types,
2195843bb75SJerome Forissier 					TEE_Param params[TEE_NUM_PARAMS])
2205843bb75SJerome Forissier {
2215843bb75SJerome Forissier 	TEE_Result res = TEE_SUCCESS;
2225843bb75SJerome Forissier 	struct bin_handle *binh = NULL;
2235843bb75SJerome Forissier 	int h = 0;
2245843bb75SJerome Forissier 	TEE_UUID *uuid = NULL;
2255843bb75SJerome Forissier 	uint8_t tag[FILE_TAG_SIZE] = { 0 };
2265843bb75SJerome Forissier 	unsigned int tag_len = sizeof(tag);
2275843bb75SJerome Forissier 	uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_MEMREF_INPUT,
2285843bb75SJerome Forissier 					  TEE_PARAM_TYPE_VALUE_OUTPUT,
2295843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE,
2305843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE);
2315843bb75SJerome Forissier 
2325843bb75SJerome Forissier 	if (exp_pt != param_types)
2335843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
2345843bb75SJerome Forissier 	if (params[0].memref.size != sizeof(*uuid))
2355843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
2365843bb75SJerome Forissier 
2375843bb75SJerome Forissier 	uuid = params[0].memref.buffer;
2385843bb75SJerome Forissier 
2395843bb75SJerome Forissier 	binh = calloc(1, sizeof(*binh));
2405843bb75SJerome Forissier 	if (!binh)
2415843bb75SJerome Forissier 		return TEE_ERROR_OUT_OF_MEMORY;
2425843bb75SJerome Forissier 
2435843bb75SJerome Forissier 	SCATTERED_ARRAY_FOREACH(binh->op, ta_stores, struct user_ta_store_ops) {
2445843bb75SJerome Forissier 		DMSG("Lookup user TA ELF %pUl (%s)",
2455843bb75SJerome Forissier 		     (void *)uuid, binh->op->description);
2465843bb75SJerome Forissier 
2475843bb75SJerome Forissier 		res = binh->op->open(uuid, &binh->h);
2485843bb75SJerome Forissier 		DMSG("res=0x%x", res);
2495843bb75SJerome Forissier 		if (res != TEE_ERROR_ITEM_NOT_FOUND &&
2505843bb75SJerome Forissier 		    res != TEE_ERROR_STORAGE_NOT_AVAILABLE)
2515843bb75SJerome Forissier 			break;
2525843bb75SJerome Forissier 	}
2535843bb75SJerome Forissier 	if (res)
2545843bb75SJerome Forissier 		goto err;
2555843bb75SJerome Forissier 
2565843bb75SJerome Forissier 	res = binh->op->get_size(binh->h, &binh->size_bytes);
2575843bb75SJerome Forissier 	if (res)
2585843bb75SJerome Forissier 		goto err;
2595843bb75SJerome Forissier 	res = binh->op->get_tag(binh->h, tag, &tag_len);
2605843bb75SJerome Forissier 	if (res)
2615843bb75SJerome Forissier 		goto err;
2625843bb75SJerome Forissier 	binh->f = file_get_by_tag(tag, tag_len);
2635843bb75SJerome Forissier 	if (!binh->f)
2645843bb75SJerome Forissier 		goto err_oom;
2655843bb75SJerome Forissier 
2665843bb75SJerome Forissier 	h = handle_get(&ctx->db, binh);
2675843bb75SJerome Forissier 	if (h < 0)
2685843bb75SJerome Forissier 		goto err_oom;
269908ce2d4SJens Wiklander 	params[0].value.a = h;
2705843bb75SJerome Forissier 
2715843bb75SJerome Forissier 	return TEE_SUCCESS;
2725843bb75SJerome Forissier err_oom:
2735843bb75SJerome Forissier 	res = TEE_ERROR_OUT_OF_MEMORY;
2745843bb75SJerome Forissier err:
2755843bb75SJerome Forissier 	ta_bin_close(binh);
2765843bb75SJerome Forissier 	return res;
2775843bb75SJerome Forissier }
2785843bb75SJerome Forissier 
2795843bb75SJerome Forissier static TEE_Result system_close_ta_binary(struct system_ctx *ctx,
2805843bb75SJerome Forissier 					 uint32_t param_types,
2815843bb75SJerome Forissier 					 TEE_Param params[TEE_NUM_PARAMS])
2825843bb75SJerome Forissier {
2835843bb75SJerome Forissier 	TEE_Result res = TEE_SUCCESS;
2845843bb75SJerome Forissier 	struct bin_handle *binh = NULL;
2855843bb75SJerome Forissier 	uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_VALUE_INPUT,
2865843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE,
2875843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE,
2885843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE);
2895843bb75SJerome Forissier 
2905843bb75SJerome Forissier 	if (exp_pt != param_types)
2915843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
2925843bb75SJerome Forissier 
2935843bb75SJerome Forissier 	if (params[0].value.b)
2945843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
2955843bb75SJerome Forissier 
2965843bb75SJerome Forissier 	binh = handle_put(&ctx->db, params[0].value.a);
2975843bb75SJerome Forissier 	if (!binh)
2985843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
2995843bb75SJerome Forissier 
3005843bb75SJerome Forissier 	if (binh->offs_bytes < binh->size_bytes)
3015843bb75SJerome Forissier 		res = binh->op->read(binh->h, NULL,
3025843bb75SJerome Forissier 				     binh->size_bytes - binh->offs_bytes);
3035843bb75SJerome Forissier 
3045843bb75SJerome Forissier 	ta_bin_close(binh);
3055843bb75SJerome Forissier 	return res;
3065843bb75SJerome Forissier }
3075843bb75SJerome Forissier 
3085843bb75SJerome Forissier static TEE_Result binh_copy_to(struct bin_handle *binh, vaddr_t va,
3095843bb75SJerome Forissier 			       size_t offs_bytes, size_t num_bytes)
3105843bb75SJerome Forissier {
3115843bb75SJerome Forissier 	TEE_Result res = TEE_SUCCESS;
3125843bb75SJerome Forissier 	size_t l =  num_bytes;
3135843bb75SJerome Forissier 
3145843bb75SJerome Forissier 	if (offs_bytes < binh->offs_bytes)
3155843bb75SJerome Forissier 		return TEE_ERROR_BAD_STATE;
3165843bb75SJerome Forissier 	if (offs_bytes > binh->offs_bytes) {
3175843bb75SJerome Forissier 		res = binh->op->read(binh->h, NULL,
3185843bb75SJerome Forissier 				     offs_bytes - binh->offs_bytes);
3195843bb75SJerome Forissier 		if (res)
3205843bb75SJerome Forissier 			return res;
3215843bb75SJerome Forissier 		binh->offs_bytes = offs_bytes;
3225843bb75SJerome Forissier 	}
3235843bb75SJerome Forissier 
3245843bb75SJerome Forissier 	if (binh->offs_bytes + l > binh->size_bytes) {
3255843bb75SJerome Forissier 		size_t rb = binh->size_bytes - binh->offs_bytes;
3265843bb75SJerome Forissier 
3275843bb75SJerome Forissier 		res = binh->op->read(binh->h, (void *)va, rb);
3285843bb75SJerome Forissier 		if (res)
3295843bb75SJerome Forissier 			return res;
3305843bb75SJerome Forissier 		memset((uint8_t *)va + rb, 0, l - rb);
3315843bb75SJerome Forissier 		binh->offs_bytes = binh->size_bytes;
3325843bb75SJerome Forissier 	} else {
3335843bb75SJerome Forissier 		res = binh->op->read(binh->h, (void *)va, l);
3345843bb75SJerome Forissier 		if (res)
3355843bb75SJerome Forissier 			return res;
3365843bb75SJerome Forissier 		binh->offs_bytes += l;
3375843bb75SJerome Forissier 	}
3385843bb75SJerome Forissier 
3395843bb75SJerome Forissier 	return TEE_SUCCESS;
3405843bb75SJerome Forissier }
3415843bb75SJerome Forissier 
3425843bb75SJerome Forissier static TEE_Result system_map_ta_binary(struct system_ctx *ctx,
3435843bb75SJerome Forissier 				       struct tee_ta_session *s,
3445843bb75SJerome Forissier 				       uint32_t param_types,
3455843bb75SJerome Forissier 				       TEE_Param params[TEE_NUM_PARAMS])
3465843bb75SJerome Forissier {
3475843bb75SJerome Forissier 	const uint32_t accept_flags = PTA_SYSTEM_MAP_FLAG_SHAREABLE |
3485843bb75SJerome Forissier 				      PTA_SYSTEM_MAP_FLAG_WRITEABLE |
3495843bb75SJerome Forissier 				      PTA_SYSTEM_MAP_FLAG_EXECUTABLE;
3505843bb75SJerome Forissier 	uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_VALUE_INPUT,
3515843bb75SJerome Forissier 					  TEE_PARAM_TYPE_VALUE_INPUT,
3525843bb75SJerome Forissier 					  TEE_PARAM_TYPE_VALUE_INOUT,
3535843bb75SJerome Forissier 					  TEE_PARAM_TYPE_VALUE_INPUT);
3545843bb75SJerome Forissier 	struct user_ta_ctx *utc = to_user_ta_ctx(s->ctx);
3555843bb75SJerome Forissier 	struct bin_handle *binh = NULL;
356*1e4e976bSJens Wiklander 	uint32_t num_rounded_bytes = 0;
3575843bb75SJerome Forissier 	TEE_Result res = TEE_SUCCESS;
3585843bb75SJerome Forissier 	struct file_slice *fs = NULL;
3595843bb75SJerome Forissier 	bool file_is_locked = false;
3605843bb75SJerome Forissier 	struct mobj *mobj = NULL;
3615843bb75SJerome Forissier 	uint32_t offs_bytes = 0;
3625843bb75SJerome Forissier 	uint32_t offs_pages = 0;
3635843bb75SJerome Forissier 	uint32_t num_bytes = 0;
3645843bb75SJerome Forissier 	uint32_t pad_begin = 0;
3655843bb75SJerome Forissier 	uint32_t pad_end = 0;
3665843bb75SJerome Forissier 	size_t num_pages = 0;
3675843bb75SJerome Forissier 	uint32_t flags = 0;
3685843bb75SJerome Forissier 	uint32_t prot = 0;
3695843bb75SJerome Forissier 	vaddr_t va = 0;
3705843bb75SJerome Forissier 
3715843bb75SJerome Forissier 	if (exp_pt != param_types)
3725843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
3735843bb75SJerome Forissier 
3745843bb75SJerome Forissier 	binh = handle_lookup(&ctx->db, params[0].value.a);
3755843bb75SJerome Forissier 	if (!binh)
3765843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
3775843bb75SJerome Forissier 	flags = params[0].value.b;
3785843bb75SJerome Forissier 	offs_bytes = params[1].value.a;
3795843bb75SJerome Forissier 	num_bytes = params[1].value.b;
3805843bb75SJerome Forissier 	va = reg_pair_to_64(params[2].value.a, params[2].value.b);
3815843bb75SJerome Forissier 	pad_begin = params[3].value.a;
3825843bb75SJerome Forissier 	pad_end = params[3].value.b;
3835843bb75SJerome Forissier 
3845843bb75SJerome Forissier 	if ((flags & accept_flags) != flags)
3855843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
3865843bb75SJerome Forissier 
3875843bb75SJerome Forissier 	if ((flags & PTA_SYSTEM_MAP_FLAG_SHAREABLE) &&
3885843bb75SJerome Forissier 	    (flags & PTA_SYSTEM_MAP_FLAG_WRITEABLE))
3895843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
3905843bb75SJerome Forissier 
3915843bb75SJerome Forissier 	if ((flags & PTA_SYSTEM_MAP_FLAG_EXECUTABLE) &&
3925843bb75SJerome Forissier 	    (flags & PTA_SYSTEM_MAP_FLAG_WRITEABLE))
3935843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
3945843bb75SJerome Forissier 
3955843bb75SJerome Forissier 	if (offs_bytes & SMALL_PAGE_MASK)
3965843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
3975843bb75SJerome Forissier 
3985843bb75SJerome Forissier 	prot = TEE_MATTR_UR | TEE_MATTR_PR;
3995843bb75SJerome Forissier 	if (flags & PTA_SYSTEM_MAP_FLAG_WRITEABLE)
4005843bb75SJerome Forissier 		prot |= TEE_MATTR_UW | TEE_MATTR_PW;
4015843bb75SJerome Forissier 	if (flags & PTA_SYSTEM_MAP_FLAG_EXECUTABLE)
4025843bb75SJerome Forissier 		prot |= TEE_MATTR_UX;
4035843bb75SJerome Forissier 
4045843bb75SJerome Forissier 	offs_pages = offs_bytes >> SMALL_PAGE_SHIFT;
405*1e4e976bSJens Wiklander 	if (ROUNDUP_OVERFLOW(num_bytes, SMALL_PAGE_SIZE, &num_rounded_bytes))
406*1e4e976bSJens Wiklander 		return TEE_ERROR_BAD_PARAMETERS;
407*1e4e976bSJens Wiklander 	num_pages = num_rounded_bytes / SMALL_PAGE_SIZE;
4085843bb75SJerome Forissier 
4095843bb75SJerome Forissier 	if (!file_trylock(binh->f)) {
4105843bb75SJerome Forissier 		/*
4115843bb75SJerome Forissier 		 * Before we can block on the file lock we must make all
4125843bb75SJerome Forissier 		 * our page tables available for reclaiming in order to
4135843bb75SJerome Forissier 		 * avoid a dead-lock with the other thread (which already
4145843bb75SJerome Forissier 		 * is holding the file lock) mapping lots of memory below.
4155843bb75SJerome Forissier 		 */
4165843bb75SJerome Forissier 		tee_mmu_set_ctx(NULL);
4175843bb75SJerome Forissier 		file_lock(binh->f);
4185843bb75SJerome Forissier 		tee_mmu_set_ctx(s->ctx);
4195843bb75SJerome Forissier 	}
4205843bb75SJerome Forissier 	file_is_locked = true;
4215843bb75SJerome Forissier 	fs = file_find_slice(binh->f, offs_pages);
4225843bb75SJerome Forissier 	if (fs) {
4235843bb75SJerome Forissier 		/* If there's registered slice it has to match */
4245843bb75SJerome Forissier 		if (fs->page_offset != offs_pages ||
4255843bb75SJerome Forissier 		    num_pages > fs->fobj->num_pages) {
4265843bb75SJerome Forissier 			res = TEE_ERROR_BAD_PARAMETERS;
4275843bb75SJerome Forissier 			goto err;
4285843bb75SJerome Forissier 		}
4295843bb75SJerome Forissier 
4305843bb75SJerome Forissier 		/* If there's a slice we must be mapping shareable */
4315843bb75SJerome Forissier 		if (!(flags & PTA_SYSTEM_MAP_FLAG_SHAREABLE)) {
4325843bb75SJerome Forissier 			res = TEE_ERROR_BAD_PARAMETERS;
4335843bb75SJerome Forissier 			goto err;
4345843bb75SJerome Forissier 		}
4355843bb75SJerome Forissier 
4365843bb75SJerome Forissier 		mobj = mobj_with_fobj_alloc(fs->fobj, binh->f);
4375843bb75SJerome Forissier 		if (!mobj) {
4385843bb75SJerome Forissier 			res = TEE_ERROR_OUT_OF_MEMORY;
4395843bb75SJerome Forissier 			goto err;
4405843bb75SJerome Forissier 		}
441*1e4e976bSJens Wiklander 		res = vm_map_pad(&utc->uctx, &va, num_rounded_bytes,
442b9651492SJens Wiklander 				 prot, VM_FLAG_READONLY,
4435843bb75SJerome Forissier 				 mobj, 0, pad_begin, pad_end);
444b9651492SJens Wiklander 		mobj_put(mobj);
4455843bb75SJerome Forissier 		if (res)
4465843bb75SJerome Forissier 			goto err;
4475843bb75SJerome Forissier 	} else {
4485843bb75SJerome Forissier 		struct fobj *f = fobj_ta_mem_alloc(num_pages);
4495843bb75SJerome Forissier 		struct file *file = NULL;
450b9651492SJens Wiklander 		uint32_t vm_flags = 0;
4515843bb75SJerome Forissier 
4525843bb75SJerome Forissier 		if (!f) {
4535843bb75SJerome Forissier 			res = TEE_ERROR_OUT_OF_MEMORY;
4545843bb75SJerome Forissier 			goto err;
4555843bb75SJerome Forissier 		}
4565843bb75SJerome Forissier 		if (!(flags & PTA_SYSTEM_MAP_FLAG_WRITEABLE)) {
4575843bb75SJerome Forissier 			file = binh->f;
4585843bb75SJerome Forissier 			vm_flags |= VM_FLAG_READONLY;
4595843bb75SJerome Forissier 		}
4605843bb75SJerome Forissier 
4615843bb75SJerome Forissier 		mobj = mobj_with_fobj_alloc(f, file);
4625843bb75SJerome Forissier 		fobj_put(f);
4635843bb75SJerome Forissier 		if (!mobj) {
4645843bb75SJerome Forissier 			res = TEE_ERROR_OUT_OF_MEMORY;
4655843bb75SJerome Forissier 			goto err;
4665843bb75SJerome Forissier 		}
467*1e4e976bSJens Wiklander 		res = vm_map_pad(&utc->uctx, &va, num_rounded_bytes,
4685843bb75SJerome Forissier 				 TEE_MATTR_PRW, vm_flags, mobj, 0,
4695843bb75SJerome Forissier 				 pad_begin, pad_end);
470b9651492SJens Wiklander 		mobj_put(mobj);
4715843bb75SJerome Forissier 		if (res)
4725843bb75SJerome Forissier 			goto err;
4735843bb75SJerome Forissier 		res = binh_copy_to(binh, va, offs_bytes, num_bytes);
4745843bb75SJerome Forissier 		if (res)
4755843bb75SJerome Forissier 			goto err_unmap_va;
476*1e4e976bSJens Wiklander 		res = vm_set_prot(&utc->uctx, va, num_rounded_bytes,
4771936dfc7SJens Wiklander 				  prot);
4785843bb75SJerome Forissier 		if (res)
4795843bb75SJerome Forissier 			goto err_unmap_va;
4805843bb75SJerome Forissier 
4815843bb75SJerome Forissier 		/*
4825843bb75SJerome Forissier 		 * The context currently is active set it again to update
4835843bb75SJerome Forissier 		 * the mapping.
4845843bb75SJerome Forissier 		 */
4855843bb75SJerome Forissier 		tee_mmu_set_ctx(s->ctx);
4865843bb75SJerome Forissier 
4875843bb75SJerome Forissier 		if (!(flags & PTA_SYSTEM_MAP_FLAG_WRITEABLE)) {
4885843bb75SJerome Forissier 			res = file_add_slice(binh->f, f, offs_pages);
4895843bb75SJerome Forissier 			if (res)
4905843bb75SJerome Forissier 				goto err_unmap_va;
4915843bb75SJerome Forissier 		}
4925843bb75SJerome Forissier 	}
4935843bb75SJerome Forissier 
4945843bb75SJerome Forissier 	file_unlock(binh->f);
4955843bb75SJerome Forissier 
4965843bb75SJerome Forissier 	reg_pair_from_64(va, &params[2].value.a, &params[2].value.b);
4975843bb75SJerome Forissier 	return TEE_SUCCESS;
4985843bb75SJerome Forissier 
4995843bb75SJerome Forissier err_unmap_va:
500*1e4e976bSJens Wiklander 	if (vm_unmap(&utc->uctx, va, num_rounded_bytes))
5015843bb75SJerome Forissier 		panic();
5025843bb75SJerome Forissier 
5035843bb75SJerome Forissier 	/*
5045843bb75SJerome Forissier 	 * The context currently is active set it again to update
5055843bb75SJerome Forissier 	 * the mapping.
5065843bb75SJerome Forissier 	 */
5075843bb75SJerome Forissier 	tee_mmu_set_ctx(s->ctx);
5085843bb75SJerome Forissier 
5095843bb75SJerome Forissier err:
5105843bb75SJerome Forissier 	if (file_is_locked)
5115843bb75SJerome Forissier 		file_unlock(binh->f);
5125843bb75SJerome Forissier 
5135843bb75SJerome Forissier 	return res;
5145843bb75SJerome Forissier }
5155843bb75SJerome Forissier 
5165843bb75SJerome Forissier static TEE_Result system_copy_from_ta_binary(struct system_ctx *ctx,
5175843bb75SJerome Forissier 					     uint32_t param_types,
5185843bb75SJerome Forissier 					     TEE_Param params[TEE_NUM_PARAMS])
5195843bb75SJerome Forissier {
5205843bb75SJerome Forissier 	struct bin_handle *binh = NULL;
5215843bb75SJerome Forissier 	uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_VALUE_INPUT,
5225843bb75SJerome Forissier 					  TEE_PARAM_TYPE_MEMREF_OUTPUT,
5235843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE,
5245843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE);
5255843bb75SJerome Forissier 
5265843bb75SJerome Forissier 	if (exp_pt != param_types)
5275843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
5285843bb75SJerome Forissier 
5295843bb75SJerome Forissier 	binh = handle_lookup(&ctx->db, params[0].value.a);
5305843bb75SJerome Forissier 	if (!binh)
5315843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
5325843bb75SJerome Forissier 
5335843bb75SJerome Forissier 	return binh_copy_to(binh, (vaddr_t)params[1].memref.buffer,
5345843bb75SJerome Forissier 			    params[0].value.b, params[1].memref.size);
5355843bb75SJerome Forissier }
5365843bb75SJerome Forissier 
5375843bb75SJerome Forissier static TEE_Result system_set_prot(struct tee_ta_session *s,
5385843bb75SJerome Forissier 				  uint32_t param_types,
5395843bb75SJerome Forissier 				  TEE_Param params[TEE_NUM_PARAMS])
5405843bb75SJerome Forissier {
5415843bb75SJerome Forissier 	const uint32_t accept_flags = PTA_SYSTEM_MAP_FLAG_WRITEABLE |
5425843bb75SJerome Forissier 				      PTA_SYSTEM_MAP_FLAG_EXECUTABLE;
5435843bb75SJerome Forissier 	uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_VALUE_INPUT,
5445843bb75SJerome Forissier 					  TEE_PARAM_TYPE_VALUE_INPUT,
5455843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE,
5465843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE);
5475843bb75SJerome Forissier 	struct user_ta_ctx *utc = to_user_ta_ctx(s->ctx);
5485843bb75SJerome Forissier 	uint32_t prot = TEE_MATTR_UR | TEE_MATTR_PR;
5495843bb75SJerome Forissier 	TEE_Result res = TEE_SUCCESS;
5505843bb75SJerome Forissier 	uint32_t vm_flags = 0;
5515843bb75SJerome Forissier 	uint32_t flags = 0;
5525843bb75SJerome Forissier 	vaddr_t va = 0;
5535843bb75SJerome Forissier 	size_t sz = 0;
5545843bb75SJerome Forissier 
5555843bb75SJerome Forissier 	if (exp_pt != param_types)
5565843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
5575843bb75SJerome Forissier 
5585843bb75SJerome Forissier 	flags = params[0].value.b;
5595843bb75SJerome Forissier 
5605843bb75SJerome Forissier 	if ((flags & accept_flags) != flags)
5615843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
5625843bb75SJerome Forissier 	if (flags & PTA_SYSTEM_MAP_FLAG_WRITEABLE)
5635843bb75SJerome Forissier 		prot |= TEE_MATTR_UW | TEE_MATTR_PW;
5645843bb75SJerome Forissier 	if (flags & PTA_SYSTEM_MAP_FLAG_EXECUTABLE)
5655843bb75SJerome Forissier 		prot |= TEE_MATTR_UX;
5665843bb75SJerome Forissier 
5675843bb75SJerome Forissier 	va = reg_pair_to_64(params[1].value.a, params[1].value.b),
5685843bb75SJerome Forissier 	sz = ROUNDUP(params[0].value.a, SMALL_PAGE_SIZE);
5695843bb75SJerome Forissier 
5701936dfc7SJens Wiklander 	res = vm_get_flags(&utc->uctx, va, sz, &vm_flags);
5715843bb75SJerome Forissier 	if (res)
5725843bb75SJerome Forissier 		return res;
57379f22013SJens Wiklander 	if (vm_flags & VM_FLAG_PERMANENT)
57479f22013SJens Wiklander 		return TEE_ERROR_ACCESS_DENIED;
5755843bb75SJerome Forissier 
5765843bb75SJerome Forissier 	/*
5775843bb75SJerome Forissier 	 * If the segment is a mapping of a part of a file (vm_flags &
5785843bb75SJerome Forissier 	 * VM_FLAG_READONLY) it cannot be made writeable as all mapped
5795843bb75SJerome Forissier 	 * files are mapped read-only.
5805843bb75SJerome Forissier 	 */
5815843bb75SJerome Forissier 	if ((vm_flags & VM_FLAG_READONLY) &&
5825843bb75SJerome Forissier 	    (prot & (TEE_MATTR_UW | TEE_MATTR_PW)))
5835843bb75SJerome Forissier 		return TEE_ERROR_ACCESS_DENIED;
5845843bb75SJerome Forissier 
5851936dfc7SJens Wiklander 	return vm_set_prot(&utc->uctx, va, sz, prot);
5865843bb75SJerome Forissier }
5875843bb75SJerome Forissier 
5885843bb75SJerome Forissier static TEE_Result system_remap(struct tee_ta_session *s, uint32_t param_types,
5895843bb75SJerome Forissier 			       TEE_Param params[TEE_NUM_PARAMS])
5905843bb75SJerome Forissier {
5915843bb75SJerome Forissier 	uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_VALUE_INPUT,
5925843bb75SJerome Forissier 					  TEE_PARAM_TYPE_VALUE_INPUT,
5935843bb75SJerome Forissier 					  TEE_PARAM_TYPE_VALUE_INOUT,
5945843bb75SJerome Forissier 					  TEE_PARAM_TYPE_VALUE_INPUT);
5955843bb75SJerome Forissier 	struct user_ta_ctx *utc = to_user_ta_ctx(s->ctx);
5965843bb75SJerome Forissier 	TEE_Result res = TEE_SUCCESS;
5975843bb75SJerome Forissier 	uint32_t num_bytes = 0;
5985843bb75SJerome Forissier 	uint32_t pad_begin = 0;
59979f22013SJens Wiklander 	uint32_t vm_flags = 0;
6005843bb75SJerome Forissier 	uint32_t pad_end = 0;
6015843bb75SJerome Forissier 	vaddr_t old_va = 0;
6025843bb75SJerome Forissier 	vaddr_t new_va = 0;
6035843bb75SJerome Forissier 
6045843bb75SJerome Forissier 	if (exp_pt != param_types)
6055843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
6065843bb75SJerome Forissier 
6075843bb75SJerome Forissier 	num_bytes = params[0].value.a;
6085843bb75SJerome Forissier 	old_va = reg_pair_to_64(params[1].value.a, params[1].value.b);
6095843bb75SJerome Forissier 	new_va = reg_pair_to_64(params[2].value.a, params[2].value.b);
6105843bb75SJerome Forissier 	pad_begin = params[3].value.a;
6115843bb75SJerome Forissier 	pad_end = params[3].value.b;
6125843bb75SJerome Forissier 
61379f22013SJens Wiklander 	res = vm_get_flags(&utc->uctx, old_va, num_bytes, &vm_flags);
61479f22013SJens Wiklander 	if (res)
61579f22013SJens Wiklander 		return res;
61679f22013SJens Wiklander 	if (vm_flags & VM_FLAG_PERMANENT)
61779f22013SJens Wiklander 		return TEE_ERROR_ACCESS_DENIED;
61879f22013SJens Wiklander 
6191936dfc7SJens Wiklander 	res = vm_remap(&utc->uctx, &new_va, old_va, num_bytes, pad_begin,
6201936dfc7SJens Wiklander 		       pad_end);
6215843bb75SJerome Forissier 	if (!res)
6225843bb75SJerome Forissier 		reg_pair_from_64(new_va, &params[2].value.a,
6235843bb75SJerome Forissier 				 &params[2].value.b);
6245843bb75SJerome Forissier 
6255843bb75SJerome Forissier 	return res;
6265843bb75SJerome Forissier }
6275843bb75SJerome Forissier 
6285843bb75SJerome Forissier /* ldelf has the same architecture/register width as the kernel */
6295843bb75SJerome Forissier #ifdef ARM32
6305843bb75SJerome Forissier static const bool is_arm32 = true;
6315843bb75SJerome Forissier #else
6325843bb75SJerome Forissier static const bool is_arm32;
6335843bb75SJerome Forissier #endif
6345843bb75SJerome Forissier 
6355843bb75SJerome Forissier static TEE_Result call_ldelf_dlopen(struct user_ta_ctx *utc, TEE_UUID *uuid,
6365843bb75SJerome Forissier 				    uint32_t flags)
6375843bb75SJerome Forissier {
6385843bb75SJerome Forissier 	uaddr_t usr_stack = utc->ldelf_stack_ptr;
6395843bb75SJerome Forissier 	TEE_Result res = TEE_ERROR_GENERIC;
6405843bb75SJerome Forissier 	struct dl_entry_arg *arg = NULL;
6415843bb75SJerome Forissier 	uint32_t panic_code = 0;
6425843bb75SJerome Forissier 	uint32_t panicked = 0;
6435843bb75SJerome Forissier 
6445843bb75SJerome Forissier 	assert(uuid);
6455843bb75SJerome Forissier 
6465843bb75SJerome Forissier 	usr_stack -= ROUNDUP(sizeof(*arg), STACK_ALIGNMENT);
6475843bb75SJerome Forissier 	arg = (struct dl_entry_arg *)usr_stack;
6485843bb75SJerome Forissier 
6491936dfc7SJens Wiklander 	res = tee_mmu_check_access_rights(&utc->uctx,
6501936dfc7SJens Wiklander 					  TEE_MEMORY_ACCESS_READ |
6515843bb75SJerome Forissier 					  TEE_MEMORY_ACCESS_WRITE |
6525843bb75SJerome Forissier 					  TEE_MEMORY_ACCESS_ANY_OWNER,
6535843bb75SJerome Forissier 					  (uaddr_t)arg, sizeof(*arg));
6545843bb75SJerome Forissier 	if (res) {
6555843bb75SJerome Forissier 		EMSG("ldelf stack is inaccessible!");
6565843bb75SJerome Forissier 		return res;
6575843bb75SJerome Forissier 	}
6585843bb75SJerome Forissier 
6595843bb75SJerome Forissier 	memset(arg, 0, sizeof(*arg));
6605843bb75SJerome Forissier 	arg->cmd = LDELF_DL_ENTRY_DLOPEN;
6615843bb75SJerome Forissier 	arg->dlopen.uuid = *uuid;
6625843bb75SJerome Forissier 	arg->dlopen.flags = flags;
6635843bb75SJerome Forissier 
6645843bb75SJerome Forissier 	res = thread_enter_user_mode((vaddr_t)arg, 0, 0, 0,
6655843bb75SJerome Forissier 				     usr_stack, utc->dl_entry_func,
6665843bb75SJerome Forissier 				     is_arm32, &panicked, &panic_code);
6675843bb75SJerome Forissier 	if (panicked) {
6685843bb75SJerome Forissier 		EMSG("ldelf dl_entry function panicked");
6695843bb75SJerome Forissier 		abort_print_current_ta();
6705843bb75SJerome Forissier 		res = TEE_ERROR_TARGET_DEAD;
6715843bb75SJerome Forissier 	}
6725843bb75SJerome Forissier 	if (!res)
6735843bb75SJerome Forissier 		res = arg->ret;
6745843bb75SJerome Forissier 
6755843bb75SJerome Forissier 	return res;
6765843bb75SJerome Forissier }
6775843bb75SJerome Forissier 
6785843bb75SJerome Forissier static TEE_Result call_ldelf_dlsym(struct user_ta_ctx *utc, TEE_UUID *uuid,
6795843bb75SJerome Forissier 				   const char *sym, size_t maxlen, vaddr_t *val)
6805843bb75SJerome Forissier {
6815843bb75SJerome Forissier 	uaddr_t usr_stack = utc->ldelf_stack_ptr;
6825843bb75SJerome Forissier 	TEE_Result res = TEE_ERROR_GENERIC;
6835843bb75SJerome Forissier 	struct dl_entry_arg *arg = NULL;
6845843bb75SJerome Forissier 	uint32_t panic_code = 0;
6855843bb75SJerome Forissier 	uint32_t panicked = 0;
6865843bb75SJerome Forissier 	size_t len = strnlen(sym, maxlen);
6875843bb75SJerome Forissier 
6885843bb75SJerome Forissier 	if (len == maxlen)
6895843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
6905843bb75SJerome Forissier 
6915843bb75SJerome Forissier 	usr_stack -= ROUNDUP(sizeof(*arg) + len + 1, STACK_ALIGNMENT);
6925843bb75SJerome Forissier 	arg = (struct dl_entry_arg *)usr_stack;
6935843bb75SJerome Forissier 
6941936dfc7SJens Wiklander 	res = tee_mmu_check_access_rights(&utc->uctx,
6951936dfc7SJens Wiklander 					  TEE_MEMORY_ACCESS_READ |
6965843bb75SJerome Forissier 					  TEE_MEMORY_ACCESS_WRITE |
6975843bb75SJerome Forissier 					  TEE_MEMORY_ACCESS_ANY_OWNER,
6981936dfc7SJens Wiklander 					  (uaddr_t)arg, sizeof(*arg) + len + 1);
6995843bb75SJerome Forissier 	if (res) {
7005843bb75SJerome Forissier 		EMSG("ldelf stack is inaccessible!");
7015843bb75SJerome Forissier 		return res;
7025843bb75SJerome Forissier 	}
7035843bb75SJerome Forissier 
7045843bb75SJerome Forissier 	memset(arg, 0, sizeof(*arg));
7055843bb75SJerome Forissier 	arg->cmd = LDELF_DL_ENTRY_DLSYM;
7065843bb75SJerome Forissier 	arg->dlsym.uuid = *uuid;
7075843bb75SJerome Forissier 	memcpy(arg->dlsym.symbol, sym, len);
7088027bd32SEtienne Carriere 	arg->dlsym.symbol[len] = '\0';
7095843bb75SJerome Forissier 
7105843bb75SJerome Forissier 	res = thread_enter_user_mode((vaddr_t)arg, 0, 0, 0,
7115843bb75SJerome Forissier 				     usr_stack, utc->dl_entry_func,
7125843bb75SJerome Forissier 				     is_arm32, &panicked, &panic_code);
7135843bb75SJerome Forissier 	if (panicked) {
7145843bb75SJerome Forissier 		EMSG("ldelf dl_entry function panicked");
7155843bb75SJerome Forissier 		abort_print_current_ta();
7165843bb75SJerome Forissier 		res = TEE_ERROR_TARGET_DEAD;
7175843bb75SJerome Forissier 	}
7185843bb75SJerome Forissier 	if (!res) {
7195843bb75SJerome Forissier 		res = arg->ret;
7205843bb75SJerome Forissier 		if (!res)
7215843bb75SJerome Forissier 			*val = arg->dlsym.val;
7225843bb75SJerome Forissier 	}
7235843bb75SJerome Forissier 
7245843bb75SJerome Forissier 	return res;
7255843bb75SJerome Forissier }
7265843bb75SJerome Forissier 
7275843bb75SJerome Forissier static TEE_Result system_dlopen(struct tee_ta_session *cs, uint32_t param_types,
7285843bb75SJerome Forissier 				TEE_Param params[TEE_NUM_PARAMS])
7295843bb75SJerome Forissier {
7305843bb75SJerome Forissier 	uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_MEMREF_INPUT,
7315843bb75SJerome Forissier 					  TEE_PARAM_TYPE_VALUE_INPUT,
7325843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE,
7335843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE);
7345843bb75SJerome Forissier 	TEE_Result res = TEE_ERROR_GENERIC;
7355843bb75SJerome Forissier 	struct tee_ta_session *s = NULL;
7365843bb75SJerome Forissier 	struct user_ta_ctx *utc = NULL;
7375843bb75SJerome Forissier 	TEE_UUID *uuid = NULL;
7385843bb75SJerome Forissier 	uint32_t flags = 0;
7395843bb75SJerome Forissier 
7405843bb75SJerome Forissier 	if (exp_pt != param_types)
7415843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
7425843bb75SJerome Forissier 
7435843bb75SJerome Forissier 	uuid = params[0].memref.buffer;
7445843bb75SJerome Forissier 	if (!uuid || params[0].memref.size != sizeof(*uuid))
7455843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
7465843bb75SJerome Forissier 
7475843bb75SJerome Forissier 	flags = params[1].value.a;
7485843bb75SJerome Forissier 
7495843bb75SJerome Forissier 	utc = to_user_ta_ctx(cs->ctx);
7505843bb75SJerome Forissier 
7515843bb75SJerome Forissier 	s = tee_ta_pop_current_session();
7525843bb75SJerome Forissier 	res = call_ldelf_dlopen(utc, uuid, flags);
7535843bb75SJerome Forissier 	tee_ta_push_current_session(s);
7545843bb75SJerome Forissier 
7555843bb75SJerome Forissier 	return res;
7565843bb75SJerome Forissier }
7575843bb75SJerome Forissier 
7585843bb75SJerome Forissier static TEE_Result system_dlsym(struct tee_ta_session *cs, uint32_t param_types,
7595843bb75SJerome Forissier 			       TEE_Param params[TEE_NUM_PARAMS])
7605843bb75SJerome Forissier {
7615843bb75SJerome Forissier 	uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_MEMREF_INPUT,
7625843bb75SJerome Forissier 					  TEE_PARAM_TYPE_MEMREF_INPUT,
7635843bb75SJerome Forissier 					  TEE_PARAM_TYPE_VALUE_OUTPUT,
7645843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE);
7655843bb75SJerome Forissier 	TEE_Result res = TEE_ERROR_GENERIC;
7665843bb75SJerome Forissier 	struct tee_ta_session *s = NULL;
7675843bb75SJerome Forissier 	struct user_ta_ctx *utc = NULL;
7685843bb75SJerome Forissier 	const char *sym = NULL;
7695843bb75SJerome Forissier 	TEE_UUID *uuid = NULL;
7705843bb75SJerome Forissier 	size_t maxlen = 0;
7715843bb75SJerome Forissier 	vaddr_t va = 0;
7725843bb75SJerome Forissier 
7735843bb75SJerome Forissier 	if (exp_pt != param_types)
7745843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
7755843bb75SJerome Forissier 
7765843bb75SJerome Forissier 	uuid = params[0].memref.buffer;
7775843bb75SJerome Forissier 	if (uuid && params[0].memref.size != sizeof(*uuid))
7785843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
7795843bb75SJerome Forissier 
7805843bb75SJerome Forissier 	sym = params[1].memref.buffer;
7815843bb75SJerome Forissier 	if (!sym)
7825843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
7835843bb75SJerome Forissier 	maxlen = params[1].memref.size;
7845843bb75SJerome Forissier 
7855843bb75SJerome Forissier 	utc = to_user_ta_ctx(cs->ctx);
7865843bb75SJerome Forissier 
7875843bb75SJerome Forissier 	s = tee_ta_pop_current_session();
7885843bb75SJerome Forissier 	res = call_ldelf_dlsym(utc, uuid, sym, maxlen, &va);
7895843bb75SJerome Forissier 	tee_ta_push_current_session(s);
7905843bb75SJerome Forissier 
7915843bb75SJerome Forissier 	if (!res)
7925843bb75SJerome Forissier 		reg_pair_from_64(va, &params[2].value.a, &params[2].value.b);
7935843bb75SJerome Forissier 
7945843bb75SJerome Forissier 	return res;
7955843bb75SJerome Forissier }
7965843bb75SJerome Forissier 
797dd333f03SJavier Almansa Sobrino static TEE_Result system_get_tpm_event_log(uint32_t param_types,
798dd333f03SJavier Almansa Sobrino 					   TEE_Param params[TEE_NUM_PARAMS])
799dd333f03SJavier Almansa Sobrino {
800dd333f03SJavier Almansa Sobrino 	uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_MEMREF_OUTPUT,
801dd333f03SJavier Almansa Sobrino 					  TEE_PARAM_TYPE_NONE,
802dd333f03SJavier Almansa Sobrino 					  TEE_PARAM_TYPE_NONE,
803dd333f03SJavier Almansa Sobrino 					  TEE_PARAM_TYPE_NONE);
804dd333f03SJavier Almansa Sobrino 	size_t size = 0;
805dd333f03SJavier Almansa Sobrino 	TEE_Result res = TEE_SUCCESS;
806dd333f03SJavier Almansa Sobrino 
807dd333f03SJavier Almansa Sobrino 	if (exp_pt != param_types)
808dd333f03SJavier Almansa Sobrino 		return TEE_ERROR_BAD_PARAMETERS;
809dd333f03SJavier Almansa Sobrino 
810dd333f03SJavier Almansa Sobrino 	size = params[0].memref.size;
811dd333f03SJavier Almansa Sobrino 	res = tpm_get_event_log(params[0].memref.buffer, &size);
812dd333f03SJavier Almansa Sobrino 	params[0].memref.size = size;
813dd333f03SJavier Almansa Sobrino 
814dd333f03SJavier Almansa Sobrino 	return res;
815dd333f03SJavier Almansa Sobrino }
816dd333f03SJavier Almansa Sobrino 
8175843bb75SJerome Forissier static TEE_Result open_session(uint32_t param_types __unused,
8185843bb75SJerome Forissier 			       TEE_Param params[TEE_NUM_PARAMS] __unused,
8195843bb75SJerome Forissier 			       void **sess_ctx)
8205843bb75SJerome Forissier {
8215843bb75SJerome Forissier 	struct tee_ta_session *s = NULL;
8225843bb75SJerome Forissier 	struct system_ctx *ctx = NULL;
8235843bb75SJerome Forissier 
8245843bb75SJerome Forissier 	/* Check that we're called from a user TA */
8255843bb75SJerome Forissier 	s = tee_ta_get_calling_session();
8265843bb75SJerome Forissier 	if (!s)
8275843bb75SJerome Forissier 		return TEE_ERROR_ACCESS_DENIED;
8285843bb75SJerome Forissier 	if (!is_user_ta_ctx(s->ctx))
8295843bb75SJerome Forissier 		return TEE_ERROR_ACCESS_DENIED;
8305843bb75SJerome Forissier 
8315843bb75SJerome Forissier 	ctx = calloc(1, sizeof(*ctx));
8325843bb75SJerome Forissier 	if (!ctx)
8335843bb75SJerome Forissier 		return TEE_ERROR_OUT_OF_MEMORY;
8345843bb75SJerome Forissier 
8355843bb75SJerome Forissier 	*sess_ctx = ctx;
8365843bb75SJerome Forissier 
8375843bb75SJerome Forissier 	return TEE_SUCCESS;
8385843bb75SJerome Forissier }
8395843bb75SJerome Forissier 
8405843bb75SJerome Forissier static void close_session(void *sess_ctx)
8415843bb75SJerome Forissier {
8425843bb75SJerome Forissier 	struct system_ctx *ctx = sess_ctx;
8435843bb75SJerome Forissier 
8445843bb75SJerome Forissier 	handle_db_destroy(&ctx->db, ta_bin_close);
8455843bb75SJerome Forissier 	free(ctx);
8465843bb75SJerome Forissier }
8475843bb75SJerome Forissier 
8485843bb75SJerome Forissier static TEE_Result invoke_command(void *sess_ctx, uint32_t cmd_id,
8495843bb75SJerome Forissier 				 uint32_t param_types,
8505843bb75SJerome Forissier 				 TEE_Param params[TEE_NUM_PARAMS])
8515843bb75SJerome Forissier {
8525843bb75SJerome Forissier 	struct tee_ta_session *s = tee_ta_get_calling_session();
8535843bb75SJerome Forissier 
8545843bb75SJerome Forissier 	switch (cmd_id) {
8555843bb75SJerome Forissier 	case PTA_SYSTEM_ADD_RNG_ENTROPY:
8565843bb75SJerome Forissier 		return system_rng_reseed(s, param_types, params);
8575843bb75SJerome Forissier 	case PTA_SYSTEM_DERIVE_TA_UNIQUE_KEY:
8585843bb75SJerome Forissier 		return system_derive_ta_unique_key(s, param_types, params);
8595843bb75SJerome Forissier 	case PTA_SYSTEM_MAP_ZI:
8605843bb75SJerome Forissier 		return system_map_zi(s, param_types, params);
8615843bb75SJerome Forissier 	case PTA_SYSTEM_UNMAP:
8625843bb75SJerome Forissier 		return system_unmap(s, param_types, params);
8635843bb75SJerome Forissier 	case PTA_SYSTEM_OPEN_TA_BINARY:
8645843bb75SJerome Forissier 		return system_open_ta_binary(sess_ctx, param_types, params);
8655843bb75SJerome Forissier 	case PTA_SYSTEM_CLOSE_TA_BINARY:
8665843bb75SJerome Forissier 		return system_close_ta_binary(sess_ctx, param_types, params);
8675843bb75SJerome Forissier 	case PTA_SYSTEM_MAP_TA_BINARY:
8685843bb75SJerome Forissier 		return system_map_ta_binary(sess_ctx, s, param_types, params);
8695843bb75SJerome Forissier 	case PTA_SYSTEM_COPY_FROM_TA_BINARY:
8705843bb75SJerome Forissier 		return system_copy_from_ta_binary(sess_ctx, param_types,
8715843bb75SJerome Forissier 						  params);
8725843bb75SJerome Forissier 	case PTA_SYSTEM_SET_PROT:
8735843bb75SJerome Forissier 		return system_set_prot(s, param_types, params);
8745843bb75SJerome Forissier 	case PTA_SYSTEM_REMAP:
8755843bb75SJerome Forissier 		return system_remap(s, param_types, params);
8765843bb75SJerome Forissier 	case PTA_SYSTEM_DLOPEN:
8775843bb75SJerome Forissier 		return system_dlopen(s, param_types, params);
8785843bb75SJerome Forissier 	case PTA_SYSTEM_DLSYM:
8795843bb75SJerome Forissier 		return system_dlsym(s, param_types, params);
880dd333f03SJavier Almansa Sobrino 	case PTA_SYSTEM_GET_TPM_EVENT_LOG:
881dd333f03SJavier Almansa Sobrino 		return system_get_tpm_event_log(param_types, params);
8825843bb75SJerome Forissier 	default:
8835843bb75SJerome Forissier 		break;
8845843bb75SJerome Forissier 	}
8855843bb75SJerome Forissier 
8865843bb75SJerome Forissier 	return TEE_ERROR_NOT_IMPLEMENTED;
8875843bb75SJerome Forissier }
8885843bb75SJerome Forissier 
8895843bb75SJerome Forissier pseudo_ta_register(.uuid = PTA_SYSTEM_UUID, .name = "system.pta",
8905843bb75SJerome Forissier 		   .flags = PTA_DEFAULT_FLAGS | TA_FLAG_CONCURRENT,
8915843bb75SJerome Forissier 		   .open_session_entry_point = open_session,
8925843bb75SJerome Forissier 		   .close_session_entry_point = close_session,
8935843bb75SJerome Forissier 		   .invoke_command_entry_point = invoke_command);
894