xref: /optee_os/core/pta/system.c (revision c2020b9d076931e13f808f879f12fd1dc0bc4d05)
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 
57*c2020b9dSJens 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 
1585843bb75SJerome Forissier 	f = fobj_ta_mem_alloc(ROUNDUP(num_bytes, SMALL_PAGE_SIZE) /
1595843bb75SJerome Forissier 			      SMALL_PAGE_SIZE);
1605843bb75SJerome Forissier 	if (!f)
1615843bb75SJerome Forissier 		return TEE_ERROR_OUT_OF_MEMORY;
1625843bb75SJerome Forissier 	mobj = mobj_with_fobj_alloc(f, NULL);
1635843bb75SJerome Forissier 	fobj_put(f);
1645843bb75SJerome Forissier 	if (!mobj)
1655843bb75SJerome Forissier 		return TEE_ERROR_OUT_OF_MEMORY;
1661936dfc7SJens Wiklander 	res = vm_map_pad(&utc->uctx, &va, num_bytes, prot, vm_flags,
1675843bb75SJerome Forissier 			 mobj, 0, pad_begin, pad_end);
168b9651492SJens Wiklander 	mobj_put(mobj);
169b9651492SJens Wiklander 	if (!res)
1705843bb75SJerome Forissier 		reg_pair_from_64(va, &params[1].value.a, &params[1].value.b);
1715843bb75SJerome Forissier 
1725843bb75SJerome Forissier 	return res;
1735843bb75SJerome Forissier }
1745843bb75SJerome Forissier 
1755843bb75SJerome Forissier static TEE_Result system_unmap(struct tee_ta_session *s, uint32_t param_types,
1765843bb75SJerome Forissier 			       TEE_Param params[TEE_NUM_PARAMS])
1775843bb75SJerome Forissier {
1785843bb75SJerome Forissier 	uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_VALUE_INPUT,
1795843bb75SJerome Forissier 					  TEE_PARAM_TYPE_VALUE_INPUT,
1805843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE,
1815843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE);
18279f22013SJens Wiklander 	struct user_ta_ctx *utc = to_user_ta_ctx(s->ctx);
18379f22013SJens Wiklander 	TEE_Result res = TEE_SUCCESS;
18479f22013SJens Wiklander 	uint32_t vm_flags = 0;
18579f22013SJens Wiklander 	vaddr_t va = 0;
18679f22013SJens Wiklander 	size_t sz = 0;
1875843bb75SJerome Forissier 
1885843bb75SJerome Forissier 	if (exp_pt != param_types)
1895843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
1905843bb75SJerome Forissier 
1915843bb75SJerome Forissier 	if (params[0].value.b)
1925843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
1935843bb75SJerome Forissier 
19479f22013SJens Wiklander 	va = reg_pair_to_64(params[1].value.a, params[1].value.b);
19579f22013SJens Wiklander 	sz = ROUNDUP(params[0].value.a, SMALL_PAGE_SIZE);
19679f22013SJens Wiklander 
19779f22013SJens Wiklander 	res = vm_get_flags(&utc->uctx, va, sz, &vm_flags);
19879f22013SJens Wiklander 	if (res)
19979f22013SJens Wiklander 		return res;
20079f22013SJens Wiklander 	if (vm_flags & VM_FLAG_PERMANENT)
20179f22013SJens Wiklander 		return TEE_ERROR_ACCESS_DENIED;
20279f22013SJens Wiklander 
20379f22013SJens Wiklander 	return vm_unmap(&to_user_ta_ctx(s->ctx)->uctx, va, sz);
2045843bb75SJerome Forissier }
2055843bb75SJerome Forissier 
2065843bb75SJerome Forissier static void ta_bin_close(void *ptr)
2075843bb75SJerome Forissier {
2085843bb75SJerome Forissier 	struct bin_handle *binh = ptr;
2095843bb75SJerome Forissier 
2105843bb75SJerome Forissier 	if (binh) {
2115843bb75SJerome Forissier 		if (binh->op && binh->h)
2125843bb75SJerome Forissier 			binh->op->close(binh->h);
2135843bb75SJerome Forissier 		file_put(binh->f);
2145843bb75SJerome Forissier 	}
2155843bb75SJerome Forissier 	free(binh);
2165843bb75SJerome Forissier }
2175843bb75SJerome Forissier 
2185843bb75SJerome Forissier static TEE_Result system_open_ta_binary(struct system_ctx *ctx,
2195843bb75SJerome Forissier 					uint32_t param_types,
2205843bb75SJerome Forissier 					TEE_Param params[TEE_NUM_PARAMS])
2215843bb75SJerome Forissier {
2225843bb75SJerome Forissier 	TEE_Result res = TEE_SUCCESS;
2235843bb75SJerome Forissier 	struct bin_handle *binh = NULL;
2245843bb75SJerome Forissier 	int h = 0;
2255843bb75SJerome Forissier 	TEE_UUID *uuid = NULL;
2265843bb75SJerome Forissier 	uint8_t tag[FILE_TAG_SIZE] = { 0 };
2275843bb75SJerome Forissier 	unsigned int tag_len = sizeof(tag);
2285843bb75SJerome Forissier 	uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_MEMREF_INPUT,
2295843bb75SJerome Forissier 					  TEE_PARAM_TYPE_VALUE_OUTPUT,
2305843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE,
2315843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE);
2325843bb75SJerome Forissier 
2335843bb75SJerome Forissier 	if (exp_pt != param_types)
2345843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
2355843bb75SJerome Forissier 	if (params[0].memref.size != sizeof(*uuid))
2365843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
2375843bb75SJerome Forissier 
2385843bb75SJerome Forissier 	uuid = params[0].memref.buffer;
2395843bb75SJerome Forissier 
2405843bb75SJerome Forissier 	binh = calloc(1, sizeof(*binh));
2415843bb75SJerome Forissier 	if (!binh)
2425843bb75SJerome Forissier 		return TEE_ERROR_OUT_OF_MEMORY;
2435843bb75SJerome Forissier 
2445843bb75SJerome Forissier 	SCATTERED_ARRAY_FOREACH(binh->op, ta_stores, struct user_ta_store_ops) {
2455843bb75SJerome Forissier 		DMSG("Lookup user TA ELF %pUl (%s)",
2465843bb75SJerome Forissier 		     (void *)uuid, binh->op->description);
2475843bb75SJerome Forissier 
2485843bb75SJerome Forissier 		res = binh->op->open(uuid, &binh->h);
2495843bb75SJerome Forissier 		DMSG("res=0x%x", res);
2505843bb75SJerome Forissier 		if (res != TEE_ERROR_ITEM_NOT_FOUND &&
2515843bb75SJerome Forissier 		    res != TEE_ERROR_STORAGE_NOT_AVAILABLE)
2525843bb75SJerome Forissier 			break;
2535843bb75SJerome Forissier 	}
2545843bb75SJerome Forissier 	if (res)
2555843bb75SJerome Forissier 		goto err;
2565843bb75SJerome Forissier 
2575843bb75SJerome Forissier 	res = binh->op->get_size(binh->h, &binh->size_bytes);
2585843bb75SJerome Forissier 	if (res)
2595843bb75SJerome Forissier 		goto err;
2605843bb75SJerome Forissier 	res = binh->op->get_tag(binh->h, tag, &tag_len);
2615843bb75SJerome Forissier 	if (res)
2625843bb75SJerome Forissier 		goto err;
2635843bb75SJerome Forissier 	binh->f = file_get_by_tag(tag, tag_len);
2645843bb75SJerome Forissier 	if (!binh->f)
2655843bb75SJerome Forissier 		goto err_oom;
2665843bb75SJerome Forissier 
2675843bb75SJerome Forissier 	h = handle_get(&ctx->db, binh);
2685843bb75SJerome Forissier 	if (h < 0)
2695843bb75SJerome Forissier 		goto err_oom;
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;
3565843bb75SJerome Forissier 	TEE_Result res = TEE_SUCCESS;
3575843bb75SJerome Forissier 	struct file_slice *fs = NULL;
3585843bb75SJerome Forissier 	bool file_is_locked = false;
3595843bb75SJerome Forissier 	struct mobj *mobj = NULL;
3605843bb75SJerome Forissier 	uint32_t offs_bytes = 0;
3615843bb75SJerome Forissier 	uint32_t offs_pages = 0;
3625843bb75SJerome Forissier 	uint32_t num_bytes = 0;
3635843bb75SJerome Forissier 	uint32_t pad_begin = 0;
3645843bb75SJerome Forissier 	uint32_t pad_end = 0;
3655843bb75SJerome Forissier 	size_t num_pages = 0;
3665843bb75SJerome Forissier 	uint32_t flags = 0;
3675843bb75SJerome Forissier 	uint32_t prot = 0;
3685843bb75SJerome Forissier 	vaddr_t va = 0;
3695843bb75SJerome Forissier 
3705843bb75SJerome Forissier 	if (exp_pt != param_types)
3715843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
3725843bb75SJerome Forissier 
3735843bb75SJerome Forissier 	binh = handle_lookup(&ctx->db, params[0].value.a);
3745843bb75SJerome Forissier 	if (!binh)
3755843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
3765843bb75SJerome Forissier 	flags = params[0].value.b;
3775843bb75SJerome Forissier 	offs_bytes = params[1].value.a;
3785843bb75SJerome Forissier 	num_bytes = params[1].value.b;
3795843bb75SJerome Forissier 	va = reg_pair_to_64(params[2].value.a, params[2].value.b);
3805843bb75SJerome Forissier 	pad_begin = params[3].value.a;
3815843bb75SJerome Forissier 	pad_end = params[3].value.b;
3825843bb75SJerome Forissier 
3835843bb75SJerome Forissier 	if ((flags & accept_flags) != flags)
3845843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
3855843bb75SJerome Forissier 
3865843bb75SJerome Forissier 	if ((flags & PTA_SYSTEM_MAP_FLAG_SHAREABLE) &&
3875843bb75SJerome Forissier 	    (flags & PTA_SYSTEM_MAP_FLAG_WRITEABLE))
3885843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
3895843bb75SJerome Forissier 
3905843bb75SJerome Forissier 	if ((flags & PTA_SYSTEM_MAP_FLAG_EXECUTABLE) &&
3915843bb75SJerome Forissier 	    (flags & PTA_SYSTEM_MAP_FLAG_WRITEABLE))
3925843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
3935843bb75SJerome Forissier 
3945843bb75SJerome Forissier 	if (offs_bytes & SMALL_PAGE_MASK)
3955843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
3965843bb75SJerome Forissier 
3975843bb75SJerome Forissier 	prot = TEE_MATTR_UR | TEE_MATTR_PR;
3985843bb75SJerome Forissier 	if (flags & PTA_SYSTEM_MAP_FLAG_WRITEABLE)
3995843bb75SJerome Forissier 		prot |= TEE_MATTR_UW | TEE_MATTR_PW;
4005843bb75SJerome Forissier 	if (flags & PTA_SYSTEM_MAP_FLAG_EXECUTABLE)
4015843bb75SJerome Forissier 		prot |= TEE_MATTR_UX;
4025843bb75SJerome Forissier 
4035843bb75SJerome Forissier 	offs_pages = offs_bytes >> SMALL_PAGE_SHIFT;
4045843bb75SJerome Forissier 	num_pages = ROUNDUP(num_bytes, SMALL_PAGE_SIZE) / SMALL_PAGE_SIZE;
4055843bb75SJerome Forissier 
4065843bb75SJerome Forissier 	if (!file_trylock(binh->f)) {
4075843bb75SJerome Forissier 		/*
4085843bb75SJerome Forissier 		 * Before we can block on the file lock we must make all
4095843bb75SJerome Forissier 		 * our page tables available for reclaiming in order to
4105843bb75SJerome Forissier 		 * avoid a dead-lock with the other thread (which already
4115843bb75SJerome Forissier 		 * is holding the file lock) mapping lots of memory below.
4125843bb75SJerome Forissier 		 */
4135843bb75SJerome Forissier 		tee_mmu_set_ctx(NULL);
4145843bb75SJerome Forissier 		file_lock(binh->f);
4155843bb75SJerome Forissier 		tee_mmu_set_ctx(s->ctx);
4165843bb75SJerome Forissier 	}
4175843bb75SJerome Forissier 	file_is_locked = true;
4185843bb75SJerome Forissier 	fs = file_find_slice(binh->f, offs_pages);
4195843bb75SJerome Forissier 	if (fs) {
4205843bb75SJerome Forissier 		/* If there's registered slice it has to match */
4215843bb75SJerome Forissier 		if (fs->page_offset != offs_pages ||
4225843bb75SJerome Forissier 		    num_pages > fs->fobj->num_pages) {
4235843bb75SJerome Forissier 			res = TEE_ERROR_BAD_PARAMETERS;
4245843bb75SJerome Forissier 			goto err;
4255843bb75SJerome Forissier 		}
4265843bb75SJerome Forissier 
4275843bb75SJerome Forissier 		/* If there's a slice we must be mapping shareable */
4285843bb75SJerome Forissier 		if (!(flags & PTA_SYSTEM_MAP_FLAG_SHAREABLE)) {
4295843bb75SJerome Forissier 			res = TEE_ERROR_BAD_PARAMETERS;
4305843bb75SJerome Forissier 			goto err;
4315843bb75SJerome Forissier 		}
4325843bb75SJerome Forissier 
4335843bb75SJerome Forissier 		mobj = mobj_with_fobj_alloc(fs->fobj, binh->f);
4345843bb75SJerome Forissier 		if (!mobj) {
4355843bb75SJerome Forissier 			res = TEE_ERROR_OUT_OF_MEMORY;
4365843bb75SJerome Forissier 			goto err;
4375843bb75SJerome Forissier 		}
4381936dfc7SJens Wiklander 		res = vm_map_pad(&utc->uctx, &va, num_pages * SMALL_PAGE_SIZE,
439b9651492SJens Wiklander 				 prot, VM_FLAG_READONLY,
4405843bb75SJerome Forissier 				 mobj, 0, pad_begin, pad_end);
441b9651492SJens Wiklander 		mobj_put(mobj);
4425843bb75SJerome Forissier 		if (res)
4435843bb75SJerome Forissier 			goto err;
4445843bb75SJerome Forissier 	} else {
4455843bb75SJerome Forissier 		struct fobj *f = fobj_ta_mem_alloc(num_pages);
4465843bb75SJerome Forissier 		struct file *file = NULL;
447b9651492SJens Wiklander 		uint32_t vm_flags = 0;
4485843bb75SJerome Forissier 
4495843bb75SJerome Forissier 		if (!f) {
4505843bb75SJerome Forissier 			res = TEE_ERROR_OUT_OF_MEMORY;
4515843bb75SJerome Forissier 			goto err;
4525843bb75SJerome Forissier 		}
4535843bb75SJerome Forissier 		if (!(flags & PTA_SYSTEM_MAP_FLAG_WRITEABLE)) {
4545843bb75SJerome Forissier 			file = binh->f;
4555843bb75SJerome Forissier 			vm_flags |= VM_FLAG_READONLY;
4565843bb75SJerome Forissier 		}
4575843bb75SJerome Forissier 
4585843bb75SJerome Forissier 		mobj = mobj_with_fobj_alloc(f, file);
4595843bb75SJerome Forissier 		fobj_put(f);
4605843bb75SJerome Forissier 		if (!mobj) {
4615843bb75SJerome Forissier 			res = TEE_ERROR_OUT_OF_MEMORY;
4625843bb75SJerome Forissier 			goto err;
4635843bb75SJerome Forissier 		}
4641936dfc7SJens Wiklander 		res = vm_map_pad(&utc->uctx, &va, num_pages * SMALL_PAGE_SIZE,
4655843bb75SJerome Forissier 				 TEE_MATTR_PRW, vm_flags, mobj, 0,
4665843bb75SJerome Forissier 				 pad_begin, pad_end);
467b9651492SJens Wiklander 		mobj_put(mobj);
4685843bb75SJerome Forissier 		if (res)
4695843bb75SJerome Forissier 			goto err;
4705843bb75SJerome Forissier 		res = binh_copy_to(binh, va, offs_bytes, num_bytes);
4715843bb75SJerome Forissier 		if (res)
4725843bb75SJerome Forissier 			goto err_unmap_va;
4731936dfc7SJens Wiklander 		res = vm_set_prot(&utc->uctx, va, num_pages * SMALL_PAGE_SIZE,
4741936dfc7SJens Wiklander 				  prot);
4755843bb75SJerome Forissier 		if (res)
4765843bb75SJerome Forissier 			goto err_unmap_va;
4775843bb75SJerome Forissier 
4785843bb75SJerome Forissier 		/*
4795843bb75SJerome Forissier 		 * The context currently is active set it again to update
4805843bb75SJerome Forissier 		 * the mapping.
4815843bb75SJerome Forissier 		 */
4825843bb75SJerome Forissier 		tee_mmu_set_ctx(s->ctx);
4835843bb75SJerome Forissier 
4845843bb75SJerome Forissier 		if (!(flags & PTA_SYSTEM_MAP_FLAG_WRITEABLE)) {
4855843bb75SJerome Forissier 			res = file_add_slice(binh->f, f, offs_pages);
4865843bb75SJerome Forissier 			if (res)
4875843bb75SJerome Forissier 				goto err_unmap_va;
4885843bb75SJerome Forissier 		}
4895843bb75SJerome Forissier 	}
4905843bb75SJerome Forissier 
4915843bb75SJerome Forissier 	file_unlock(binh->f);
4925843bb75SJerome Forissier 
4935843bb75SJerome Forissier 	reg_pair_from_64(va, &params[2].value.a, &params[2].value.b);
4945843bb75SJerome Forissier 	return TEE_SUCCESS;
4955843bb75SJerome Forissier 
4965843bb75SJerome Forissier err_unmap_va:
4971936dfc7SJens Wiklander 	if (vm_unmap(&utc->uctx, va, num_pages * SMALL_PAGE_SIZE))
4985843bb75SJerome Forissier 		panic();
4995843bb75SJerome Forissier 
5005843bb75SJerome Forissier 	/*
5015843bb75SJerome Forissier 	 * The context currently is active set it again to update
5025843bb75SJerome Forissier 	 * the mapping.
5035843bb75SJerome Forissier 	 */
5045843bb75SJerome Forissier 	tee_mmu_set_ctx(s->ctx);
5055843bb75SJerome Forissier 
5065843bb75SJerome Forissier err:
5075843bb75SJerome Forissier 	if (file_is_locked)
5085843bb75SJerome Forissier 		file_unlock(binh->f);
5095843bb75SJerome Forissier 
5105843bb75SJerome Forissier 	return res;
5115843bb75SJerome Forissier }
5125843bb75SJerome Forissier 
5135843bb75SJerome Forissier static TEE_Result system_copy_from_ta_binary(struct system_ctx *ctx,
5145843bb75SJerome Forissier 					     uint32_t param_types,
5155843bb75SJerome Forissier 					     TEE_Param params[TEE_NUM_PARAMS])
5165843bb75SJerome Forissier {
5175843bb75SJerome Forissier 	struct bin_handle *binh = NULL;
5185843bb75SJerome Forissier 	uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_VALUE_INPUT,
5195843bb75SJerome Forissier 					  TEE_PARAM_TYPE_MEMREF_OUTPUT,
5205843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE,
5215843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE);
5225843bb75SJerome Forissier 
5235843bb75SJerome Forissier 	if (exp_pt != param_types)
5245843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
5255843bb75SJerome Forissier 
5265843bb75SJerome Forissier 	binh = handle_lookup(&ctx->db, params[0].value.a);
5275843bb75SJerome Forissier 	if (!binh)
5285843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
5295843bb75SJerome Forissier 
5305843bb75SJerome Forissier 	return binh_copy_to(binh, (vaddr_t)params[1].memref.buffer,
5315843bb75SJerome Forissier 			    params[0].value.b, params[1].memref.size);
5325843bb75SJerome Forissier }
5335843bb75SJerome Forissier 
5345843bb75SJerome Forissier static TEE_Result system_set_prot(struct tee_ta_session *s,
5355843bb75SJerome Forissier 				  uint32_t param_types,
5365843bb75SJerome Forissier 				  TEE_Param params[TEE_NUM_PARAMS])
5375843bb75SJerome Forissier {
5385843bb75SJerome Forissier 	const uint32_t accept_flags = PTA_SYSTEM_MAP_FLAG_WRITEABLE |
5395843bb75SJerome Forissier 				      PTA_SYSTEM_MAP_FLAG_EXECUTABLE;
5405843bb75SJerome Forissier 	uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_VALUE_INPUT,
5415843bb75SJerome Forissier 					  TEE_PARAM_TYPE_VALUE_INPUT,
5425843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE,
5435843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE);
5445843bb75SJerome Forissier 	struct user_ta_ctx *utc = to_user_ta_ctx(s->ctx);
5455843bb75SJerome Forissier 	uint32_t prot = TEE_MATTR_UR | TEE_MATTR_PR;
5465843bb75SJerome Forissier 	TEE_Result res = TEE_SUCCESS;
5475843bb75SJerome Forissier 	uint32_t vm_flags = 0;
5485843bb75SJerome Forissier 	uint32_t flags = 0;
5495843bb75SJerome Forissier 	vaddr_t va = 0;
5505843bb75SJerome Forissier 	size_t sz = 0;
5515843bb75SJerome Forissier 
5525843bb75SJerome Forissier 	if (exp_pt != param_types)
5535843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
5545843bb75SJerome Forissier 
5555843bb75SJerome Forissier 	flags = params[0].value.b;
5565843bb75SJerome Forissier 
5575843bb75SJerome Forissier 	if ((flags & accept_flags) != flags)
5585843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
5595843bb75SJerome Forissier 	if (flags & PTA_SYSTEM_MAP_FLAG_WRITEABLE)
5605843bb75SJerome Forissier 		prot |= TEE_MATTR_UW | TEE_MATTR_PW;
5615843bb75SJerome Forissier 	if (flags & PTA_SYSTEM_MAP_FLAG_EXECUTABLE)
5625843bb75SJerome Forissier 		prot |= TEE_MATTR_UX;
5635843bb75SJerome Forissier 
5645843bb75SJerome Forissier 	va = reg_pair_to_64(params[1].value.a, params[1].value.b),
5655843bb75SJerome Forissier 	sz = ROUNDUP(params[0].value.a, SMALL_PAGE_SIZE);
5665843bb75SJerome Forissier 
5671936dfc7SJens Wiklander 	res = vm_get_flags(&utc->uctx, va, sz, &vm_flags);
5685843bb75SJerome Forissier 	if (res)
5695843bb75SJerome Forissier 		return res;
57079f22013SJens Wiklander 	if (vm_flags & VM_FLAG_PERMANENT)
57179f22013SJens Wiklander 		return TEE_ERROR_ACCESS_DENIED;
5725843bb75SJerome Forissier 
5735843bb75SJerome Forissier 	/*
5745843bb75SJerome Forissier 	 * If the segment is a mapping of a part of a file (vm_flags &
5755843bb75SJerome Forissier 	 * VM_FLAG_READONLY) it cannot be made writeable as all mapped
5765843bb75SJerome Forissier 	 * files are mapped read-only.
5775843bb75SJerome Forissier 	 */
5785843bb75SJerome Forissier 	if ((vm_flags & VM_FLAG_READONLY) &&
5795843bb75SJerome Forissier 	    (prot & (TEE_MATTR_UW | TEE_MATTR_PW)))
5805843bb75SJerome Forissier 		return TEE_ERROR_ACCESS_DENIED;
5815843bb75SJerome Forissier 
5821936dfc7SJens Wiklander 	return vm_set_prot(&utc->uctx, va, sz, prot);
5835843bb75SJerome Forissier }
5845843bb75SJerome Forissier 
5855843bb75SJerome Forissier static TEE_Result system_remap(struct tee_ta_session *s, uint32_t param_types,
5865843bb75SJerome Forissier 			       TEE_Param params[TEE_NUM_PARAMS])
5875843bb75SJerome Forissier {
5885843bb75SJerome Forissier 	uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_VALUE_INPUT,
5895843bb75SJerome Forissier 					  TEE_PARAM_TYPE_VALUE_INPUT,
5905843bb75SJerome Forissier 					  TEE_PARAM_TYPE_VALUE_INOUT,
5915843bb75SJerome Forissier 					  TEE_PARAM_TYPE_VALUE_INPUT);
5925843bb75SJerome Forissier 	struct user_ta_ctx *utc = to_user_ta_ctx(s->ctx);
5935843bb75SJerome Forissier 	TEE_Result res = TEE_SUCCESS;
5945843bb75SJerome Forissier 	uint32_t num_bytes = 0;
5955843bb75SJerome Forissier 	uint32_t pad_begin = 0;
59679f22013SJens Wiklander 	uint32_t vm_flags = 0;
5975843bb75SJerome Forissier 	uint32_t pad_end = 0;
5985843bb75SJerome Forissier 	vaddr_t old_va = 0;
5995843bb75SJerome Forissier 	vaddr_t new_va = 0;
6005843bb75SJerome Forissier 
6015843bb75SJerome Forissier 	if (exp_pt != param_types)
6025843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
6035843bb75SJerome Forissier 
6045843bb75SJerome Forissier 	num_bytes = params[0].value.a;
6055843bb75SJerome Forissier 	old_va = reg_pair_to_64(params[1].value.a, params[1].value.b);
6065843bb75SJerome Forissier 	new_va = reg_pair_to_64(params[2].value.a, params[2].value.b);
6075843bb75SJerome Forissier 	pad_begin = params[3].value.a;
6085843bb75SJerome Forissier 	pad_end = params[3].value.b;
6095843bb75SJerome Forissier 
61079f22013SJens Wiklander 	res = vm_get_flags(&utc->uctx, old_va, num_bytes, &vm_flags);
61179f22013SJens Wiklander 	if (res)
61279f22013SJens Wiklander 		return res;
61379f22013SJens Wiklander 	if (vm_flags & VM_FLAG_PERMANENT)
61479f22013SJens Wiklander 		return TEE_ERROR_ACCESS_DENIED;
61579f22013SJens Wiklander 
6161936dfc7SJens Wiklander 	res = vm_remap(&utc->uctx, &new_va, old_va, num_bytes, pad_begin,
6171936dfc7SJens Wiklander 		       pad_end);
6185843bb75SJerome Forissier 	if (!res)
6195843bb75SJerome Forissier 		reg_pair_from_64(new_va, &params[2].value.a,
6205843bb75SJerome Forissier 				 &params[2].value.b);
6215843bb75SJerome Forissier 
6225843bb75SJerome Forissier 	return res;
6235843bb75SJerome Forissier }
6245843bb75SJerome Forissier 
6255843bb75SJerome Forissier /* ldelf has the same architecture/register width as the kernel */
6265843bb75SJerome Forissier #ifdef ARM32
6275843bb75SJerome Forissier static const bool is_arm32 = true;
6285843bb75SJerome Forissier #else
6295843bb75SJerome Forissier static const bool is_arm32;
6305843bb75SJerome Forissier #endif
6315843bb75SJerome Forissier 
6325843bb75SJerome Forissier static TEE_Result call_ldelf_dlopen(struct user_ta_ctx *utc, TEE_UUID *uuid,
6335843bb75SJerome Forissier 				    uint32_t flags)
6345843bb75SJerome Forissier {
6355843bb75SJerome Forissier 	uaddr_t usr_stack = utc->ldelf_stack_ptr;
6365843bb75SJerome Forissier 	TEE_Result res = TEE_ERROR_GENERIC;
6375843bb75SJerome Forissier 	struct dl_entry_arg *arg = NULL;
6385843bb75SJerome Forissier 	uint32_t panic_code = 0;
6395843bb75SJerome Forissier 	uint32_t panicked = 0;
6405843bb75SJerome Forissier 
6415843bb75SJerome Forissier 	assert(uuid);
6425843bb75SJerome Forissier 
6435843bb75SJerome Forissier 	usr_stack -= ROUNDUP(sizeof(*arg), STACK_ALIGNMENT);
6445843bb75SJerome Forissier 	arg = (struct dl_entry_arg *)usr_stack;
6455843bb75SJerome Forissier 
6461936dfc7SJens Wiklander 	res = tee_mmu_check_access_rights(&utc->uctx,
6471936dfc7SJens Wiklander 					  TEE_MEMORY_ACCESS_READ |
6485843bb75SJerome Forissier 					  TEE_MEMORY_ACCESS_WRITE |
6495843bb75SJerome Forissier 					  TEE_MEMORY_ACCESS_ANY_OWNER,
6505843bb75SJerome Forissier 					  (uaddr_t)arg, sizeof(*arg));
6515843bb75SJerome Forissier 	if (res) {
6525843bb75SJerome Forissier 		EMSG("ldelf stack is inaccessible!");
6535843bb75SJerome Forissier 		return res;
6545843bb75SJerome Forissier 	}
6555843bb75SJerome Forissier 
6565843bb75SJerome Forissier 	memset(arg, 0, sizeof(*arg));
6575843bb75SJerome Forissier 	arg->cmd = LDELF_DL_ENTRY_DLOPEN;
6585843bb75SJerome Forissier 	arg->dlopen.uuid = *uuid;
6595843bb75SJerome Forissier 	arg->dlopen.flags = flags;
6605843bb75SJerome Forissier 
6615843bb75SJerome Forissier 	res = thread_enter_user_mode((vaddr_t)arg, 0, 0, 0,
6625843bb75SJerome Forissier 				     usr_stack, utc->dl_entry_func,
6635843bb75SJerome Forissier 				     is_arm32, &panicked, &panic_code);
6645843bb75SJerome Forissier 	if (panicked) {
6655843bb75SJerome Forissier 		EMSG("ldelf dl_entry function panicked");
6665843bb75SJerome Forissier 		abort_print_current_ta();
6675843bb75SJerome Forissier 		res = TEE_ERROR_TARGET_DEAD;
6685843bb75SJerome Forissier 	}
6695843bb75SJerome Forissier 	if (!res)
6705843bb75SJerome Forissier 		res = arg->ret;
6715843bb75SJerome Forissier 
6725843bb75SJerome Forissier 	return res;
6735843bb75SJerome Forissier }
6745843bb75SJerome Forissier 
6755843bb75SJerome Forissier static TEE_Result call_ldelf_dlsym(struct user_ta_ctx *utc, TEE_UUID *uuid,
6765843bb75SJerome Forissier 				   const char *sym, size_t maxlen, vaddr_t *val)
6775843bb75SJerome Forissier {
6785843bb75SJerome Forissier 	uaddr_t usr_stack = utc->ldelf_stack_ptr;
6795843bb75SJerome Forissier 	TEE_Result res = TEE_ERROR_GENERIC;
6805843bb75SJerome Forissier 	struct dl_entry_arg *arg = NULL;
6815843bb75SJerome Forissier 	uint32_t panic_code = 0;
6825843bb75SJerome Forissier 	uint32_t panicked = 0;
6835843bb75SJerome Forissier 	size_t len = strnlen(sym, maxlen);
6845843bb75SJerome Forissier 
6855843bb75SJerome Forissier 	if (len == maxlen)
6865843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
6875843bb75SJerome Forissier 
6885843bb75SJerome Forissier 	usr_stack -= ROUNDUP(sizeof(*arg) + len + 1, STACK_ALIGNMENT);
6895843bb75SJerome Forissier 	arg = (struct dl_entry_arg *)usr_stack;
6905843bb75SJerome Forissier 
6911936dfc7SJens Wiklander 	res = tee_mmu_check_access_rights(&utc->uctx,
6921936dfc7SJens Wiklander 					  TEE_MEMORY_ACCESS_READ |
6935843bb75SJerome Forissier 					  TEE_MEMORY_ACCESS_WRITE |
6945843bb75SJerome Forissier 					  TEE_MEMORY_ACCESS_ANY_OWNER,
6951936dfc7SJens Wiklander 					  (uaddr_t)arg, sizeof(*arg) + len + 1);
6965843bb75SJerome Forissier 	if (res) {
6975843bb75SJerome Forissier 		EMSG("ldelf stack is inaccessible!");
6985843bb75SJerome Forissier 		return res;
6995843bb75SJerome Forissier 	}
7005843bb75SJerome Forissier 
7015843bb75SJerome Forissier 	memset(arg, 0, sizeof(*arg));
7025843bb75SJerome Forissier 	arg->cmd = LDELF_DL_ENTRY_DLSYM;
7035843bb75SJerome Forissier 	arg->dlsym.uuid = *uuid;
7045843bb75SJerome Forissier 	memcpy(arg->dlsym.symbol, sym, len);
7058027bd32SEtienne Carriere 	arg->dlsym.symbol[len] = '\0';
7065843bb75SJerome Forissier 
7075843bb75SJerome Forissier 	res = thread_enter_user_mode((vaddr_t)arg, 0, 0, 0,
7085843bb75SJerome Forissier 				     usr_stack, utc->dl_entry_func,
7095843bb75SJerome Forissier 				     is_arm32, &panicked, &panic_code);
7105843bb75SJerome Forissier 	if (panicked) {
7115843bb75SJerome Forissier 		EMSG("ldelf dl_entry function panicked");
7125843bb75SJerome Forissier 		abort_print_current_ta();
7135843bb75SJerome Forissier 		res = TEE_ERROR_TARGET_DEAD;
7145843bb75SJerome Forissier 	}
7155843bb75SJerome Forissier 	if (!res) {
7165843bb75SJerome Forissier 		res = arg->ret;
7175843bb75SJerome Forissier 		if (!res)
7185843bb75SJerome Forissier 			*val = arg->dlsym.val;
7195843bb75SJerome Forissier 	}
7205843bb75SJerome Forissier 
7215843bb75SJerome Forissier 	return res;
7225843bb75SJerome Forissier }
7235843bb75SJerome Forissier 
7245843bb75SJerome Forissier static TEE_Result system_dlopen(struct tee_ta_session *cs, uint32_t param_types,
7255843bb75SJerome Forissier 				TEE_Param params[TEE_NUM_PARAMS])
7265843bb75SJerome Forissier {
7275843bb75SJerome Forissier 	uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_MEMREF_INPUT,
7285843bb75SJerome Forissier 					  TEE_PARAM_TYPE_VALUE_INPUT,
7295843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE,
7305843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE);
7315843bb75SJerome Forissier 	TEE_Result res = TEE_ERROR_GENERIC;
7325843bb75SJerome Forissier 	struct tee_ta_session *s = NULL;
7335843bb75SJerome Forissier 	struct user_ta_ctx *utc = NULL;
7345843bb75SJerome Forissier 	TEE_UUID *uuid = NULL;
7355843bb75SJerome Forissier 	uint32_t flags = 0;
7365843bb75SJerome Forissier 
7375843bb75SJerome Forissier 	if (exp_pt != param_types)
7385843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
7395843bb75SJerome Forissier 
7405843bb75SJerome Forissier 	uuid = params[0].memref.buffer;
7415843bb75SJerome Forissier 	if (!uuid || params[0].memref.size != sizeof(*uuid))
7425843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
7435843bb75SJerome Forissier 
7445843bb75SJerome Forissier 	flags = params[1].value.a;
7455843bb75SJerome Forissier 
7465843bb75SJerome Forissier 	utc = to_user_ta_ctx(cs->ctx);
7475843bb75SJerome Forissier 
7485843bb75SJerome Forissier 	s = tee_ta_pop_current_session();
7495843bb75SJerome Forissier 	res = call_ldelf_dlopen(utc, uuid, flags);
7505843bb75SJerome Forissier 	tee_ta_push_current_session(s);
7515843bb75SJerome Forissier 
7525843bb75SJerome Forissier 	return res;
7535843bb75SJerome Forissier }
7545843bb75SJerome Forissier 
7555843bb75SJerome Forissier static TEE_Result system_dlsym(struct tee_ta_session *cs, uint32_t param_types,
7565843bb75SJerome Forissier 			       TEE_Param params[TEE_NUM_PARAMS])
7575843bb75SJerome Forissier {
7585843bb75SJerome Forissier 	uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_MEMREF_INPUT,
7595843bb75SJerome Forissier 					  TEE_PARAM_TYPE_MEMREF_INPUT,
7605843bb75SJerome Forissier 					  TEE_PARAM_TYPE_VALUE_OUTPUT,
7615843bb75SJerome Forissier 					  TEE_PARAM_TYPE_NONE);
7625843bb75SJerome Forissier 	TEE_Result res = TEE_ERROR_GENERIC;
7635843bb75SJerome Forissier 	struct tee_ta_session *s = NULL;
7645843bb75SJerome Forissier 	struct user_ta_ctx *utc = NULL;
7655843bb75SJerome Forissier 	const char *sym = NULL;
7665843bb75SJerome Forissier 	TEE_UUID *uuid = NULL;
7675843bb75SJerome Forissier 	size_t maxlen = 0;
7685843bb75SJerome Forissier 	vaddr_t va = 0;
7695843bb75SJerome Forissier 
7705843bb75SJerome Forissier 	if (exp_pt != param_types)
7715843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
7725843bb75SJerome Forissier 
7735843bb75SJerome Forissier 	uuid = params[0].memref.buffer;
7745843bb75SJerome Forissier 	if (uuid && params[0].memref.size != sizeof(*uuid))
7755843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
7765843bb75SJerome Forissier 
7775843bb75SJerome Forissier 	sym = params[1].memref.buffer;
7785843bb75SJerome Forissier 	if (!sym)
7795843bb75SJerome Forissier 		return TEE_ERROR_BAD_PARAMETERS;
7805843bb75SJerome Forissier 	maxlen = params[1].memref.size;
7815843bb75SJerome Forissier 
7825843bb75SJerome Forissier 	utc = to_user_ta_ctx(cs->ctx);
7835843bb75SJerome Forissier 
7845843bb75SJerome Forissier 	s = tee_ta_pop_current_session();
7855843bb75SJerome Forissier 	res = call_ldelf_dlsym(utc, uuid, sym, maxlen, &va);
7865843bb75SJerome Forissier 	tee_ta_push_current_session(s);
7875843bb75SJerome Forissier 
7885843bb75SJerome Forissier 	if (!res)
7895843bb75SJerome Forissier 		reg_pair_from_64(va, &params[2].value.a, &params[2].value.b);
7905843bb75SJerome Forissier 
7915843bb75SJerome Forissier 	return res;
7925843bb75SJerome Forissier }
7935843bb75SJerome Forissier 
794dd333f03SJavier Almansa Sobrino static TEE_Result system_get_tpm_event_log(uint32_t param_types,
795dd333f03SJavier Almansa Sobrino 					   TEE_Param params[TEE_NUM_PARAMS])
796dd333f03SJavier Almansa Sobrino {
797dd333f03SJavier Almansa Sobrino 	uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_MEMREF_OUTPUT,
798dd333f03SJavier Almansa Sobrino 					  TEE_PARAM_TYPE_NONE,
799dd333f03SJavier Almansa Sobrino 					  TEE_PARAM_TYPE_NONE,
800dd333f03SJavier Almansa Sobrino 					  TEE_PARAM_TYPE_NONE);
801dd333f03SJavier Almansa Sobrino 	size_t size = 0;
802dd333f03SJavier Almansa Sobrino 	TEE_Result res = TEE_SUCCESS;
803dd333f03SJavier Almansa Sobrino 
804dd333f03SJavier Almansa Sobrino 	if (exp_pt != param_types)
805dd333f03SJavier Almansa Sobrino 		return TEE_ERROR_BAD_PARAMETERS;
806dd333f03SJavier Almansa Sobrino 
807dd333f03SJavier Almansa Sobrino 	size = params[0].memref.size;
808dd333f03SJavier Almansa Sobrino 	res = tpm_get_event_log(params[0].memref.buffer, &size);
809dd333f03SJavier Almansa Sobrino 	params[0].memref.size = size;
810dd333f03SJavier Almansa Sobrino 
811dd333f03SJavier Almansa Sobrino 	return res;
812dd333f03SJavier Almansa Sobrino }
813dd333f03SJavier Almansa Sobrino 
8145843bb75SJerome Forissier static TEE_Result open_session(uint32_t param_types __unused,
8155843bb75SJerome Forissier 			       TEE_Param params[TEE_NUM_PARAMS] __unused,
8165843bb75SJerome Forissier 			       void **sess_ctx)
8175843bb75SJerome Forissier {
8185843bb75SJerome Forissier 	struct tee_ta_session *s = NULL;
8195843bb75SJerome Forissier 	struct system_ctx *ctx = NULL;
8205843bb75SJerome Forissier 
8215843bb75SJerome Forissier 	/* Check that we're called from a user TA */
8225843bb75SJerome Forissier 	s = tee_ta_get_calling_session();
8235843bb75SJerome Forissier 	if (!s)
8245843bb75SJerome Forissier 		return TEE_ERROR_ACCESS_DENIED;
8255843bb75SJerome Forissier 	if (!is_user_ta_ctx(s->ctx))
8265843bb75SJerome Forissier 		return TEE_ERROR_ACCESS_DENIED;
8275843bb75SJerome Forissier 
8285843bb75SJerome Forissier 	ctx = calloc(1, sizeof(*ctx));
8295843bb75SJerome Forissier 	if (!ctx)
8305843bb75SJerome Forissier 		return TEE_ERROR_OUT_OF_MEMORY;
8315843bb75SJerome Forissier 
8325843bb75SJerome Forissier 	*sess_ctx = ctx;
8335843bb75SJerome Forissier 
8345843bb75SJerome Forissier 	return TEE_SUCCESS;
8355843bb75SJerome Forissier }
8365843bb75SJerome Forissier 
8375843bb75SJerome Forissier static void close_session(void *sess_ctx)
8385843bb75SJerome Forissier {
8395843bb75SJerome Forissier 	struct system_ctx *ctx = sess_ctx;
8405843bb75SJerome Forissier 
8415843bb75SJerome Forissier 	handle_db_destroy(&ctx->db, ta_bin_close);
8425843bb75SJerome Forissier 	free(ctx);
8435843bb75SJerome Forissier }
8445843bb75SJerome Forissier 
8455843bb75SJerome Forissier static TEE_Result invoke_command(void *sess_ctx, uint32_t cmd_id,
8465843bb75SJerome Forissier 				 uint32_t param_types,
8475843bb75SJerome Forissier 				 TEE_Param params[TEE_NUM_PARAMS])
8485843bb75SJerome Forissier {
8495843bb75SJerome Forissier 	struct tee_ta_session *s = tee_ta_get_calling_session();
8505843bb75SJerome Forissier 
8515843bb75SJerome Forissier 	switch (cmd_id) {
8525843bb75SJerome Forissier 	case PTA_SYSTEM_ADD_RNG_ENTROPY:
8535843bb75SJerome Forissier 		return system_rng_reseed(s, param_types, params);
8545843bb75SJerome Forissier 	case PTA_SYSTEM_DERIVE_TA_UNIQUE_KEY:
8555843bb75SJerome Forissier 		return system_derive_ta_unique_key(s, param_types, params);
8565843bb75SJerome Forissier 	case PTA_SYSTEM_MAP_ZI:
8575843bb75SJerome Forissier 		return system_map_zi(s, param_types, params);
8585843bb75SJerome Forissier 	case PTA_SYSTEM_UNMAP:
8595843bb75SJerome Forissier 		return system_unmap(s, param_types, params);
8605843bb75SJerome Forissier 	case PTA_SYSTEM_OPEN_TA_BINARY:
8615843bb75SJerome Forissier 		return system_open_ta_binary(sess_ctx, param_types, params);
8625843bb75SJerome Forissier 	case PTA_SYSTEM_CLOSE_TA_BINARY:
8635843bb75SJerome Forissier 		return system_close_ta_binary(sess_ctx, param_types, params);
8645843bb75SJerome Forissier 	case PTA_SYSTEM_MAP_TA_BINARY:
8655843bb75SJerome Forissier 		return system_map_ta_binary(sess_ctx, s, param_types, params);
8665843bb75SJerome Forissier 	case PTA_SYSTEM_COPY_FROM_TA_BINARY:
8675843bb75SJerome Forissier 		return system_copy_from_ta_binary(sess_ctx, param_types,
8685843bb75SJerome Forissier 						  params);
8695843bb75SJerome Forissier 	case PTA_SYSTEM_SET_PROT:
8705843bb75SJerome Forissier 		return system_set_prot(s, param_types, params);
8715843bb75SJerome Forissier 	case PTA_SYSTEM_REMAP:
8725843bb75SJerome Forissier 		return system_remap(s, param_types, params);
8735843bb75SJerome Forissier 	case PTA_SYSTEM_DLOPEN:
8745843bb75SJerome Forissier 		return system_dlopen(s, param_types, params);
8755843bb75SJerome Forissier 	case PTA_SYSTEM_DLSYM:
8765843bb75SJerome Forissier 		return system_dlsym(s, param_types, params);
877dd333f03SJavier Almansa Sobrino 	case PTA_SYSTEM_GET_TPM_EVENT_LOG:
878dd333f03SJavier Almansa Sobrino 		return system_get_tpm_event_log(param_types, params);
8795843bb75SJerome Forissier 	default:
8805843bb75SJerome Forissier 		break;
8815843bb75SJerome Forissier 	}
8825843bb75SJerome Forissier 
8835843bb75SJerome Forissier 	return TEE_ERROR_NOT_IMPLEMENTED;
8845843bb75SJerome Forissier }
8855843bb75SJerome Forissier 
8865843bb75SJerome Forissier pseudo_ta_register(.uuid = PTA_SYSTEM_UUID, .name = "system.pta",
8875843bb75SJerome Forissier 		   .flags = PTA_DEFAULT_FLAGS | TA_FLAG_CONCURRENT,
8885843bb75SJerome Forissier 		   .open_session_entry_point = open_session,
8895843bb75SJerome Forissier 		   .close_session_entry_point = close_session,
8905843bb75SJerome Forissier 		   .invoke_command_entry_point = invoke_command);
891