xref: /optee_os/core/tee/tee_svc.c (revision e8a5e425ade7c20f54d22718c9baf651ccc0f99b)
11bb92983SJerome Forissier // SPDX-License-Identifier: BSD-2-Clause
2b0104773SPascal Brand /*
3b0104773SPascal Brand  * Copyright (c) 2014, STMicroelectronics International N.V.
4c40a6505SJens Wiklander  * Copyright (c) 2020, Linaro Limited
5b0104773SPascal Brand  */
6c40a6505SJens Wiklander 
7919a5a68SJerome Forissier #include <compiler.h>
8b0104773SPascal Brand #include <kernel/chip_services.h>
942fb5b2eSEtienne Carriere #include <kernel/pseudo_ta.h>
1070b61310SJerome Forissier #include <kernel/tee_common.h>
1170b61310SJerome Forissier #include <kernel/tee_common_otp.h>
1270b61310SJerome Forissier #include <kernel/tee_ta_manager.h>
1370b61310SJerome Forissier #include <kernel/tee_time.h>
1470b61310SJerome Forissier #include <kernel/trace_ta.h>
15c40a6505SJens Wiklander #include <kernel/user_access.h>
1670b61310SJerome Forissier #include <mm/core_memprot.h>
170dcfa568SJens Wiklander #include <mm/mobj.h>
1870b61310SJerome Forissier #include <mm/tee_mm.h>
1989c9728dSJens Wiklander #include <mm/vm.h>
2070b61310SJerome Forissier #include <stdlib_ext.h>
2170b61310SJerome Forissier #include <tee_api_types.h>
2270b61310SJerome Forissier #include <tee/tee_cryp_utl.h>
2370b61310SJerome Forissier #include <tee/tee_svc.h>
2470b61310SJerome Forissier #include <trace.h>
2570b61310SJerome Forissier #include <user_ta_header.h>
2670b61310SJerome Forissier #include <utee_types.h>
2770b61310SJerome Forissier #include <util.h>
28b0104773SPascal Brand 
29e86f1266SJens Wiklander vaddr_t tee_svc_uref_base;
30e86f1266SJens Wiklander 
313276098dSJerome Forissier void syscall_log(const void *buf __maybe_unused, size_t len __maybe_unused)
32b0104773SPascal Brand {
337c876f12SPascal Brand #ifdef CFG_TEE_CORE_TA_TRACE
34b0104773SPascal Brand 	char *kbuf;
35b0104773SPascal Brand 
36b0104773SPascal Brand 	if (len == 0)
37b0104773SPascal Brand 		return;
38b0104773SPascal Brand 
3989a3e9feSJens Wiklander 	kbuf = malloc(len + 1);
40b0104773SPascal Brand 	if (kbuf == NULL)
41b0104773SPascal Brand 		return;
42b0104773SPascal Brand 
43c40a6505SJens Wiklander 	if (copy_from_user(kbuf, buf, len) == TEE_SUCCESS) {
443095f61eSJerome Forissier 		kbuf[len] = '\0';
453095f61eSJerome Forissier 		trace_ext_puts(kbuf);
463095f61eSJerome Forissier 	}
47b0104773SPascal Brand 
4870b61310SJerome Forissier 	free_wipe(kbuf);
497c876f12SPascal Brand #endif
50b0104773SPascal Brand }
51b0104773SPascal Brand 
52453a5030SJerome Forissier TEE_Result syscall_not_supported(void)
53197d17e7SSY Chiu {
54197d17e7SSY Chiu 	return TEE_ERROR_NOT_SUPPORTED;
55197d17e7SSY Chiu }
56197d17e7SSY Chiu 
57ab35d7adSCedric Chaumont /* Configuration properties */
58ab35d7adSCedric Chaumont /* API implementation version */
59ab35d7adSCedric Chaumont static const char api_vers[] = TO_STR(CFG_TEE_API_VERSION);
60ab35d7adSCedric Chaumont 
61ab35d7adSCedric Chaumont /* Implementation description (implementation-dependent) */
62ab35d7adSCedric Chaumont static const char descr[] = TO_STR(CFG_TEE_IMPL_DESCR);
63ab35d7adSCedric Chaumont 
64b0104773SPascal Brand /*
65ab35d7adSCedric Chaumont  * TA persistent time protection level
66ab35d7adSCedric Chaumont  * 100: Persistent time based on an REE-controlled real-time clock
67ab35d7adSCedric Chaumont  * and on the TEE Trusted Storage for the storage of origins (default).
68ab35d7adSCedric Chaumont  * 1000: Persistent time based on a TEE-controlled real-time clock
69ab35d7adSCedric Chaumont  * and the TEE Trusted Storage.
70ab35d7adSCedric Chaumont  * The real-time clock MUST be out of reach of software attacks
71ab35d7adSCedric Chaumont  * from the REE.
72ab35d7adSCedric Chaumont  */
73b0104773SPascal Brand static const uint32_t ta_time_prot_lvl = 100;
74ab35d7adSCedric Chaumont 
7564a5011eSPascal Brand /* Elliptic Curve Cryptographic support */
7664a5011eSPascal Brand #ifdef CFG_CRYPTO_ECC
77d5d50c3cSJens Wiklander static const bool crypto_ecc_en = 1;
7864a5011eSPascal Brand #else
79d5d50c3cSJens Wiklander static const bool crypto_ecc_en;
8064a5011eSPascal Brand #endif
8164a5011eSPascal Brand 
82ab35d7adSCedric Chaumont /*
83ab35d7adSCedric Chaumont  * Trusted storage anti rollback protection level
84ab35d7adSCedric Chaumont  * 0 (or missing): No antirollback protection (default)
85ab35d7adSCedric Chaumont  * 100: Antirollback enforced at REE level
86ab35d7adSCedric Chaumont  * 1000: Antirollback TEE-controlled hardware
87ab35d7adSCedric Chaumont  */
88b4b1a20cSJens Wiklander #ifdef CFG_RPMB_FS
89b4b1a20cSJens Wiklander static const uint32_t ts_antiroll_prot_lvl = 1000;
90b4b1a20cSJens Wiklander #else
91ab35d7adSCedric Chaumont static const uint32_t ts_antiroll_prot_lvl;
92b4b1a20cSJens Wiklander #endif
93ab35d7adSCedric Chaumont 
94ab35d7adSCedric Chaumont /* Trusted OS implementation version */
954bf425c1SJens Wiklander static const char trustedos_impl_version[] = TO_STR(TEE_IMPL_VERSION);
96ab35d7adSCedric Chaumont 
97ab35d7adSCedric Chaumont /* Trusted OS implementation version (binary value) */
98ab35d7adSCedric Chaumont static const uint32_t trustedos_impl_bin_version; /* 0 by default */
99ab35d7adSCedric Chaumont 
100ab35d7adSCedric Chaumont /* Trusted OS implementation manufacturer name */
101ab35d7adSCedric Chaumont static const char trustedos_manufacturer[] = TO_STR(CFG_TEE_MANUFACTURER);
102ab35d7adSCedric Chaumont 
103ab35d7adSCedric Chaumont /* Trusted firmware version */
104ab35d7adSCedric Chaumont static const char fw_impl_version[] = TO_STR(CFG_TEE_FW_IMPL_VERSION);
105ab35d7adSCedric Chaumont 
106ab35d7adSCedric Chaumont /* Trusted firmware version (binary value) */
107ab35d7adSCedric Chaumont static const uint32_t fw_impl_bin_version; /* 0 by default */
108ab35d7adSCedric Chaumont 
109ab35d7adSCedric Chaumont /* Trusted firmware manufacturer name */
110ab35d7adSCedric Chaumont static const char fw_manufacturer[] = TO_STR(CFG_TEE_FW_MANUFACTURER);
111ab35d7adSCedric Chaumont 
11200b3b9a2SJens Wiklander static TEE_Result get_prop_tee_dev_id(struct ts_session *sess __unused,
113ff857a3aSPascal Brand 				      void *buf, size_t *blen)
114ab35d7adSCedric Chaumont {
115b0104773SPascal Brand 	TEE_Result res;
116b0104773SPascal Brand 	TEE_UUID uuid;
117ab35d7adSCedric Chaumont 	const size_t nslen = 5;
11864a5011eSPascal Brand 	uint8_t data[5 + FVR_DIE_ID_NUM_REGS * sizeof(uint32_t)] = {
119ab35d7adSCedric Chaumont 	    'O', 'P', 'T', 'E', 'E' };
120b0104773SPascal Brand 
121ff857a3aSPascal Brand 	if (*blen < sizeof(uuid)) {
122ff857a3aSPascal Brand 		*blen = sizeof(uuid);
123b0104773SPascal Brand 		return TEE_ERROR_SHORT_BUFFER;
124ff857a3aSPascal Brand 	}
125ff857a3aSPascal Brand 	*blen = sizeof(uuid);
126b0104773SPascal Brand 
12764a5011eSPascal Brand 	if (tee_otp_get_die_id(data + nslen, sizeof(data) - nslen))
128b0104773SPascal Brand 		return TEE_ERROR_BAD_STATE;
129b0104773SPascal Brand 
13064a5011eSPascal Brand 	res = tee_hash_createdigest(TEE_ALG_SHA256, data, sizeof(data),
13164a5011eSPascal Brand 				    (uint8_t *)&uuid, sizeof(uuid));
132b0104773SPascal Brand 	if (res != TEE_SUCCESS)
133b0104773SPascal Brand 		return TEE_ERROR_BAD_STATE;
134b0104773SPascal Brand 
135b0104773SPascal Brand 	/*
136b0104773SPascal Brand 	 * Changes the random value into and UUID as specifiec
137b0104773SPascal Brand 	 * in RFC 4122. The magic values are from the example
138b0104773SPascal Brand 	 * code in the RFC.
139b0104773SPascal Brand 	 *
140b0104773SPascal Brand 	 * TEE_UUID is defined slightly different from the RFC,
141b0104773SPascal Brand 	 * but close enough for our purpose.
142b0104773SPascal Brand 	 */
143b0104773SPascal Brand 
144b0104773SPascal Brand 	uuid.timeHiAndVersion &= 0x0fff;
145b0104773SPascal Brand 	uuid.timeHiAndVersion |= 5 << 12;
146b0104773SPascal Brand 
147b0104773SPascal Brand 	/* uuid.clock_seq_hi_and_reserved in the RFC */
148b0104773SPascal Brand 	uuid.clockSeqAndNode[0] &= 0x3f;
149b0104773SPascal Brand 	uuid.clockSeqAndNode[0] |= 0x80;
150b0104773SPascal Brand 
151c40a6505SJens Wiklander 	return copy_to_user(buf, &uuid, sizeof(TEE_UUID));
152b0104773SPascal Brand }
153b0104773SPascal Brand 
15400b3b9a2SJens Wiklander static TEE_Result
15500b3b9a2SJens Wiklander get_prop_tee_sys_time_prot_level(struct ts_session *sess __unused,
156ff857a3aSPascal Brand 				 void *buf, size_t *blen)
1572cdaaacbSJerome Forissier {
1582cdaaacbSJerome Forissier 	uint32_t prot;
1592cdaaacbSJerome Forissier 
160ff857a3aSPascal Brand 	if (*blen < sizeof(prot)) {
161ff857a3aSPascal Brand 		*blen = sizeof(prot);
1622cdaaacbSJerome Forissier 		return TEE_ERROR_SHORT_BUFFER;
163ff857a3aSPascal Brand 	}
164ff857a3aSPascal Brand 	*blen = sizeof(prot);
1652cdaaacbSJerome Forissier 	prot = tee_time_get_sys_time_protection_level();
166c40a6505SJens Wiklander 	return copy_to_user(buf, &prot, sizeof(prot));
1672cdaaacbSJerome Forissier }
1682cdaaacbSJerome Forissier 
16900b3b9a2SJens Wiklander static TEE_Result get_prop_client_id(struct ts_session *sess,
170ff857a3aSPascal Brand 				     void *buf, size_t *blen)
17164a5011eSPascal Brand {
172ff857a3aSPascal Brand 	if (*blen < sizeof(TEE_Identity)) {
173ff857a3aSPascal Brand 		*blen = sizeof(TEE_Identity);
174b0104773SPascal Brand 		return TEE_ERROR_SHORT_BUFFER;
175ff857a3aSPascal Brand 	}
176ff857a3aSPascal Brand 	*blen = sizeof(TEE_Identity);
17700b3b9a2SJens Wiklander 	return copy_to_user(buf, &to_ta_session(sess)->clnt_id,
17800b3b9a2SJens Wiklander 			    sizeof(TEE_Identity));
17964a5011eSPascal Brand }
18037d6ae92SPascal Brand 
18100b3b9a2SJens Wiklander static TEE_Result get_prop_ta_app_id(struct ts_session *sess,
182ff857a3aSPascal Brand 				     void *buf, size_t *blen)
18364a5011eSPascal Brand {
184ff857a3aSPascal Brand 	if (*blen < sizeof(TEE_UUID)) {
185ff857a3aSPascal Brand 		*blen = sizeof(TEE_UUID);
186b0104773SPascal Brand 		return TEE_ERROR_SHORT_BUFFER;
187ff857a3aSPascal Brand 	}
188ff857a3aSPascal Brand 	*blen = sizeof(TEE_UUID);
189c40a6505SJens Wiklander 	return copy_to_user(buf, &sess->ctx->uuid, sizeof(TEE_UUID));
19064a5011eSPascal Brand }
19164a5011eSPascal Brand 
192e20620bdSRuchika Gupta #ifdef CFG_TA_BTI
193e20620bdSRuchika Gupta static TEE_Result
194e20620bdSRuchika Gupta get_prop_feat_bti_implemented(struct ts_session *sess __unused, void *buf,
195e20620bdSRuchika Gupta 			      size_t *blen)
196e20620bdSRuchika Gupta {
197e20620bdSRuchika Gupta 	bool bti_impl = false;
198e20620bdSRuchika Gupta 
199e20620bdSRuchika Gupta 	if (*blen < sizeof(bti_impl)) {
200e20620bdSRuchika Gupta 		*blen = sizeof(bti_impl);
201e20620bdSRuchika Gupta 		return TEE_ERROR_SHORT_BUFFER;
202e20620bdSRuchika Gupta 	}
203e20620bdSRuchika Gupta 	*blen = sizeof(bti_impl);
204e20620bdSRuchika Gupta 	bti_impl = feat_bti_is_implemented();
205e20620bdSRuchika Gupta 
206e20620bdSRuchika Gupta 	return copy_to_user(buf, &bti_impl, sizeof(bti_impl));
207e20620bdSRuchika Gupta }
208e20620bdSRuchika Gupta #endif
209e20620bdSRuchika Gupta 
210*e8a5e425SRuchika Gupta #ifdef CFG_TA_PAUTH
211*e8a5e425SRuchika Gupta static TEE_Result
212*e8a5e425SRuchika Gupta get_prop_feat_pauth_implemented(struct ts_session *sess __unused, void *buf,
213*e8a5e425SRuchika Gupta 				size_t *blen)
214*e8a5e425SRuchika Gupta {
215*e8a5e425SRuchika Gupta 	bool pauth_impl = false;
216*e8a5e425SRuchika Gupta 
217*e8a5e425SRuchika Gupta 	if (*blen < sizeof(pauth_impl)) {
218*e8a5e425SRuchika Gupta 		*blen = sizeof(pauth_impl);
219*e8a5e425SRuchika Gupta 		return TEE_ERROR_SHORT_BUFFER;
220*e8a5e425SRuchika Gupta 	}
221*e8a5e425SRuchika Gupta 	*blen = sizeof(pauth_impl);
222*e8a5e425SRuchika Gupta 	pauth_impl = feat_pauth_is_implemented();
223*e8a5e425SRuchika Gupta 
224*e8a5e425SRuchika Gupta 	return copy_to_user(buf, &pauth_impl, sizeof(pauth_impl));
225*e8a5e425SRuchika Gupta }
226*e8a5e425SRuchika Gupta #endif
227*e8a5e425SRuchika Gupta 
22864a5011eSPascal Brand /* Properties of the set TEE_PROPSET_CURRENT_CLIENT */
22964a5011eSPascal Brand const struct tee_props tee_propset_client[] = {
23064a5011eSPascal Brand 	{
23164a5011eSPascal Brand 		.name = "gpd.client.identity",
23264a5011eSPascal Brand 		.prop_type = USER_TA_PROP_TYPE_IDENTITY,
23364a5011eSPascal Brand 		.get_prop_func = get_prop_client_id
23464a5011eSPascal Brand 	},
23564a5011eSPascal Brand };
23664a5011eSPascal Brand 
23764a5011eSPascal Brand /* Properties of the set TEE_PROPSET_CURRENT_TA */
23864a5011eSPascal Brand const struct tee_props tee_propset_ta[] = {
23964a5011eSPascal Brand 	{
24064a5011eSPascal Brand 		.name = "gpd.ta.appID",
24164a5011eSPascal Brand 		.prop_type = USER_TA_PROP_TYPE_UUID,
24264a5011eSPascal Brand 		.get_prop_func = get_prop_ta_app_id
24364a5011eSPascal Brand 	},
24464a5011eSPascal Brand 
24564a5011eSPascal Brand 	/*
24664a5011eSPascal Brand 	 * Following properties are processed directly in libutee:
24764a5011eSPascal Brand 	 *	TA_PROP_STR_SINGLE_INSTANCE
24864a5011eSPascal Brand 	 *	TA_PROP_STR_MULTI_SESSION
24964a5011eSPascal Brand 	 *	TA_PROP_STR_KEEP_ALIVE
25064a5011eSPascal Brand 	 *	TA_PROP_STR_DATA_SIZE
25164a5011eSPascal Brand 	 *	TA_PROP_STR_STACK_SIZE
25264a5011eSPascal Brand 	 *	TA_PROP_STR_VERSION
25364a5011eSPascal Brand 	 *	TA_PROP_STR_DESCRIPTION
25464a5011eSPascal Brand 	 *	USER_TA_PROP_TYPE_STRING,
25564a5011eSPascal Brand 	 *	TA_DESCRIPTION
25664a5011eSPascal Brand 	 */
25764a5011eSPascal Brand };
25864a5011eSPascal Brand 
25964a5011eSPascal Brand /* Properties of the set TEE_PROPSET_TEE_IMPLEMENTATION */
26064a5011eSPascal Brand const struct tee_props tee_propset_tee[] = {
26164a5011eSPascal Brand 	{
26264a5011eSPascal Brand 		.name = "gpd.tee.apiversion",
26364a5011eSPascal Brand 		.prop_type = USER_TA_PROP_TYPE_STRING,
26464a5011eSPascal Brand 		.data = api_vers,
26564a5011eSPascal Brand 		.len = sizeof(api_vers),
26664a5011eSPascal Brand 	},
26764a5011eSPascal Brand 	{
26864a5011eSPascal Brand 		.name = "gpd.tee.description",
26964a5011eSPascal Brand 		.prop_type = USER_TA_PROP_TYPE_STRING,
27064a5011eSPascal Brand 		.data = descr, .len = sizeof(descr)
27164a5011eSPascal Brand 	},
27264a5011eSPascal Brand 	{
27364a5011eSPascal Brand 		.name = "gpd.tee.deviceID",
27464a5011eSPascal Brand 		.prop_type = USER_TA_PROP_TYPE_UUID,
27564a5011eSPascal Brand 		.get_prop_func = get_prop_tee_dev_id
27664a5011eSPascal Brand 	},
27764a5011eSPascal Brand 	{
27864a5011eSPascal Brand 		.name = "gpd.tee.systemTime.protectionLevel",
27964a5011eSPascal Brand 		.prop_type = USER_TA_PROP_TYPE_U32,
28064a5011eSPascal Brand 		.get_prop_func = get_prop_tee_sys_time_prot_level
28164a5011eSPascal Brand 	},
28264a5011eSPascal Brand 	{
28364a5011eSPascal Brand 		.name = "gpd.tee.TAPersistentTime.protectionLevel",
28464a5011eSPascal Brand 		.prop_type = USER_TA_PROP_TYPE_U32,
28564a5011eSPascal Brand 		.data = &ta_time_prot_lvl,
28664a5011eSPascal Brand 		.len = sizeof(ta_time_prot_lvl)
28764a5011eSPascal Brand 	},
28864a5011eSPascal Brand 	{
28964a5011eSPascal Brand 		.name = "gpd.tee.cryptography.ecc",
29064a5011eSPascal Brand 		.prop_type = USER_TA_PROP_TYPE_BOOL,
29164a5011eSPascal Brand 		.data = &crypto_ecc_en,
29264a5011eSPascal Brand 		.len = sizeof(crypto_ecc_en)
29364a5011eSPascal Brand 	},
29464a5011eSPascal Brand 	{
29564a5011eSPascal Brand 		.name = "gpd.tee.trustedStorage.antiRollback.protectionLevel",
29664a5011eSPascal Brand 		.prop_type = USER_TA_PROP_TYPE_U32,
29764a5011eSPascal Brand 		.data = &ts_antiroll_prot_lvl,
29864a5011eSPascal Brand 		.len = sizeof(ts_antiroll_prot_lvl)
29964a5011eSPascal Brand 	},
30064a5011eSPascal Brand 	{
30164a5011eSPascal Brand 		.name = "gpd.tee.trustedos.implementation.version",
30264a5011eSPascal Brand 		.prop_type = USER_TA_PROP_TYPE_STRING,
30364a5011eSPascal Brand 		.data = trustedos_impl_version,
30464a5011eSPascal Brand 		.len = sizeof(trustedos_impl_version)
30564a5011eSPascal Brand 	},
30664a5011eSPascal Brand 	{
30764a5011eSPascal Brand 		.name = "gpd.tee.trustedos.implementation.binaryversion",
30864a5011eSPascal Brand 		.prop_type = USER_TA_PROP_TYPE_U32,
30964a5011eSPascal Brand 		.data = &trustedos_impl_bin_version,
31064a5011eSPascal Brand 		.len = sizeof(trustedos_impl_bin_version)
31164a5011eSPascal Brand 	},
31264a5011eSPascal Brand 	{
31364a5011eSPascal Brand 		.name = "gpd.tee.trustedos.manufacturer",
31464a5011eSPascal Brand 		.prop_type = USER_TA_PROP_TYPE_STRING,
31564a5011eSPascal Brand 		.data = trustedos_manufacturer,
31664a5011eSPascal Brand 		.len = sizeof(trustedos_manufacturer)
31764a5011eSPascal Brand 	},
31864a5011eSPascal Brand 	{
31964a5011eSPascal Brand 		.name = "gpd.tee.firmware.implementation.version",
32064a5011eSPascal Brand 		.prop_type = USER_TA_PROP_TYPE_STRING,
32164a5011eSPascal Brand 		.data = fw_impl_version,
32264a5011eSPascal Brand 		.len = sizeof(fw_impl_version)
32364a5011eSPascal Brand 	},
32464a5011eSPascal Brand 	{
32564a5011eSPascal Brand 		.name = "gpd.tee.firmware.implementation.binaryversion",
32664a5011eSPascal Brand 		.prop_type = USER_TA_PROP_TYPE_U32,
32764a5011eSPascal Brand 		.data = &fw_impl_bin_version,
32864a5011eSPascal Brand 		.len = sizeof(fw_impl_bin_version)
32964a5011eSPascal Brand 	},
33064a5011eSPascal Brand 	{
33164a5011eSPascal Brand 		.name = "gpd.tee.firmware.manufacturer",
33264a5011eSPascal Brand 		.prop_type = USER_TA_PROP_TYPE_STRING,
33364a5011eSPascal Brand 		.data = fw_manufacturer,
33464a5011eSPascal Brand 		.len = sizeof(fw_manufacturer)
33564a5011eSPascal Brand 	},
336e20620bdSRuchika Gupta #ifdef CFG_TA_BTI
337e20620bdSRuchika Gupta 	{
338e20620bdSRuchika Gupta 		.name = "org.trustedfirmware.optee.cpu.feat_bti_implemented",
339e20620bdSRuchika Gupta 		.prop_type = USER_TA_PROP_TYPE_BOOL,
340e20620bdSRuchika Gupta 		.get_prop_func = get_prop_feat_bti_implemented
341e20620bdSRuchika Gupta 	},
342e20620bdSRuchika Gupta #endif
343*e8a5e425SRuchika Gupta #ifdef CFG_TA_PAUTH
344*e8a5e425SRuchika Gupta 	{
345*e8a5e425SRuchika Gupta 		.name = "org.trustedfirmware.optee.cpu.feat_pauth_implemented",
346*e8a5e425SRuchika Gupta 		.prop_type = USER_TA_PROP_TYPE_BOOL,
347*e8a5e425SRuchika Gupta 		.get_prop_func = get_prop_feat_pauth_implemented
348*e8a5e425SRuchika Gupta 	}
349*e8a5e425SRuchika Gupta #endif
35064a5011eSPascal Brand 
35164a5011eSPascal Brand 	/*
35264a5011eSPascal Brand 	 * Following properties are processed directly in libutee:
35364a5011eSPascal Brand 	 *	gpd.tee.arith.maxBigIntSize
35464a5011eSPascal Brand 	 */
35564a5011eSPascal Brand };
35664a5011eSPascal Brand 
35741d71430SPascal Brand __weak const struct tee_vendor_props vendor_props_client;
35841d71430SPascal Brand __weak const struct tee_vendor_props vendor_props_ta;
35941d71430SPascal Brand __weak const struct tee_vendor_props vendor_props_tee;
36041d71430SPascal Brand 
36164a5011eSPascal Brand static void get_prop_set(unsigned long prop_set,
36264a5011eSPascal Brand 			 const struct tee_props **props,
36341d71430SPascal Brand 			 size_t *size,
36441d71430SPascal Brand 			 const struct tee_props **vendor_props,
36541d71430SPascal Brand 			 size_t *vendor_size)
36664a5011eSPascal Brand {
36764a5011eSPascal Brand 	if ((TEE_PropSetHandle)prop_set == TEE_PROPSET_CURRENT_CLIENT) {
36864a5011eSPascal Brand 		*props = tee_propset_client;
36964a5011eSPascal Brand 		*size = ARRAY_SIZE(tee_propset_client);
37041d71430SPascal Brand 		*vendor_props = vendor_props_client.props;
37141d71430SPascal Brand 		*vendor_size = vendor_props_client.len;
37264a5011eSPascal Brand 	} else if ((TEE_PropSetHandle)prop_set == TEE_PROPSET_CURRENT_TA) {
37364a5011eSPascal Brand 		*props = tee_propset_ta;
37464a5011eSPascal Brand 		*size = ARRAY_SIZE(tee_propset_ta);
37541d71430SPascal Brand 		*vendor_props = vendor_props_ta.props;
37641d71430SPascal Brand 		*vendor_size = vendor_props_ta.len;
37764a5011eSPascal Brand 	} else if ((TEE_PropSetHandle)prop_set ==
37864a5011eSPascal Brand 		   TEE_PROPSET_TEE_IMPLEMENTATION) {
37964a5011eSPascal Brand 		*props = tee_propset_tee;
38064a5011eSPascal Brand 		*size = ARRAY_SIZE(tee_propset_tee);
38141d71430SPascal Brand 		*vendor_props = vendor_props_tee.props;
38241d71430SPascal Brand 		*vendor_size = vendor_props_tee.len;
38364a5011eSPascal Brand 	} else {
38441d71430SPascal Brand 		*props = NULL;
38564a5011eSPascal Brand 		*size = 0;
38641d71430SPascal Brand 		*vendor_props = NULL;
38741d71430SPascal Brand 		*vendor_size = 0;
38864a5011eSPascal Brand 	}
38964a5011eSPascal Brand }
39064a5011eSPascal Brand 
39164a5011eSPascal Brand static const struct tee_props *get_prop_struct(unsigned long prop_set,
39264a5011eSPascal Brand 					       unsigned long index)
39364a5011eSPascal Brand {
39464a5011eSPascal Brand 	const struct tee_props *props;
39541d71430SPascal Brand 	const struct tee_props *vendor_props;
39641d71430SPascal Brand 	size_t size;
39741d71430SPascal Brand 	size_t vendor_size;
39864a5011eSPascal Brand 
39941d71430SPascal Brand 	get_prop_set(prop_set, &props, &size, &vendor_props, &vendor_size);
40064a5011eSPascal Brand 
40141d71430SPascal Brand 	if (index < size)
40264a5011eSPascal Brand 		return &(props[index]);
40341d71430SPascal Brand 	index -= size;
40441d71430SPascal Brand 
40541d71430SPascal Brand 	if (index < vendor_size)
40641d71430SPascal Brand 		return &(vendor_props[index]);
40741d71430SPascal Brand 
40864a5011eSPascal Brand 	return NULL;
40964a5011eSPascal Brand }
41064a5011eSPascal Brand 
41164a5011eSPascal Brand /*
41264a5011eSPascal Brand  * prop_set is part of TEE_PROPSET_xxx
41364a5011eSPascal Brand  * index is the index in the Property Set to retrieve
41464a5011eSPascal Brand  * if name is not NULL, the name of "index" property is returned
41564a5011eSPascal Brand  * if buf is not NULL, the property is returned
41664a5011eSPascal Brand  */
41764a5011eSPascal Brand TEE_Result syscall_get_property(unsigned long prop_set,
41864a5011eSPascal Brand 				unsigned long index,
41964a5011eSPascal Brand 				void *name, uint32_t *name_len,
42064a5011eSPascal Brand 				void *buf, uint32_t *blen,
42164a5011eSPascal Brand 				uint32_t *prop_type)
42264a5011eSPascal Brand {
42300b3b9a2SJens Wiklander 	struct ts_session *sess = ts_get_current_session();
42400b3b9a2SJens Wiklander 	TEE_Result res = TEE_SUCCESS;
42500b3b9a2SJens Wiklander 	TEE_Result res2 = TEE_SUCCESS;
42600b3b9a2SJens Wiklander 	const struct tee_props *prop = NULL;
42700b3b9a2SJens Wiklander 	uint32_t klen = 0;
42800b3b9a2SJens Wiklander 	size_t klen_size = 0;
42900b3b9a2SJens Wiklander 	uint32_t elen = 0;
43064a5011eSPascal Brand 
43164a5011eSPascal Brand 	prop = get_prop_struct(prop_set, index);
43264a5011eSPascal Brand 	if (!prop)
43364a5011eSPascal Brand 		return TEE_ERROR_ITEM_NOT_FOUND;
43464a5011eSPascal Brand 
435ff857a3aSPascal Brand 	/* Get the property type */
436ff857a3aSPascal Brand 	if (prop_type) {
437c40a6505SJens Wiklander 		res = copy_to_user(prop_type, &prop->prop_type,
438ff857a3aSPascal Brand 				   sizeof(*prop_type));
439ff857a3aSPascal Brand 		if (res != TEE_SUCCESS)
440ff857a3aSPascal Brand 			return res;
441ff857a3aSPascal Brand 	}
442ff857a3aSPascal Brand 
44364a5011eSPascal Brand 	/* Get the property */
44464a5011eSPascal Brand 	if (buf && blen) {
445c40a6505SJens Wiklander 		res = copy_from_user(&klen, blen, sizeof(klen));
44664a5011eSPascal Brand 		if (res != TEE_SUCCESS)
44764a5011eSPascal Brand 			return res;
44864a5011eSPascal Brand 
44964a5011eSPascal Brand 		if (prop->get_prop_func) {
450ff857a3aSPascal Brand 			klen_size = klen;
451ff857a3aSPascal Brand 			res = prop->get_prop_func(sess, buf, &klen_size);
452ff857a3aSPascal Brand 			klen = klen_size;
453c40a6505SJens Wiklander 			res2 = copy_to_user(blen, &klen, sizeof(*blen));
45464a5011eSPascal Brand 		} else {
45564a5011eSPascal Brand 			if (klen < prop->len)
45664a5011eSPascal Brand 				res = TEE_ERROR_SHORT_BUFFER;
45764a5011eSPascal Brand 			else
458c40a6505SJens Wiklander 				res = copy_to_user(buf, prop->data, prop->len);
459c40a6505SJens Wiklander 			res2 = copy_to_user(blen, &prop->len, sizeof(*blen));
460ff857a3aSPascal Brand 		}
46164a5011eSPascal Brand 		if (res2 != TEE_SUCCESS)
46264a5011eSPascal Brand 			return res2;
46364a5011eSPascal Brand 		if (res != TEE_SUCCESS)
46464a5011eSPascal Brand 			return res;
46564a5011eSPascal Brand 	}
46664a5011eSPascal Brand 
46764a5011eSPascal Brand 	/* Get the property name */
46864a5011eSPascal Brand 	if (name && name_len) {
469c40a6505SJens Wiklander 		res = copy_from_user(&klen, name_len, sizeof(klen));
47064a5011eSPascal Brand 		if (res != TEE_SUCCESS)
47164a5011eSPascal Brand 			return res;
47264a5011eSPascal Brand 
47364a5011eSPascal Brand 		elen = strlen(prop->name) + 1;
47464a5011eSPascal Brand 
47564a5011eSPascal Brand 		if (klen < elen)
47664a5011eSPascal Brand 			res = TEE_ERROR_SHORT_BUFFER;
47764a5011eSPascal Brand 		else
478c40a6505SJens Wiklander 			res = copy_to_user(name, prop->name, elen);
479c40a6505SJens Wiklander 		res2 = copy_to_user(name_len, &elen, sizeof(*name_len));
48064a5011eSPascal Brand 		if (res2 != TEE_SUCCESS)
48164a5011eSPascal Brand 			return res2;
48264a5011eSPascal Brand 		if (res != TEE_SUCCESS)
48364a5011eSPascal Brand 			return res;
48464a5011eSPascal Brand 	}
48564a5011eSPascal Brand 
48664a5011eSPascal Brand 	return res;
48764a5011eSPascal Brand }
48864a5011eSPascal Brand 
48964a5011eSPascal Brand /*
49064a5011eSPascal Brand  * prop_set is part of TEE_PROPSET_xxx
49164a5011eSPascal Brand  */
49264a5011eSPascal Brand TEE_Result syscall_get_property_name_to_index(unsigned long prop_set,
49364a5011eSPascal Brand 					      void *name,
49464a5011eSPascal Brand 					      unsigned long name_len,
49564a5011eSPascal Brand 					      uint32_t *index)
49664a5011eSPascal Brand {
49700b3b9a2SJens Wiklander 	TEE_Result res = TEE_SUCCESS;
49800b3b9a2SJens Wiklander 	const struct tee_props *props = NULL;
49900b3b9a2SJens Wiklander 	size_t size = 0;
50000b3b9a2SJens Wiklander 	const struct tee_props *vendor_props = NULL;
50100b3b9a2SJens Wiklander 	size_t vendor_size = 0;
50200b3b9a2SJens Wiklander 	char *kname = NULL;
50300b3b9a2SJens Wiklander 	uint32_t i = 0;
50464a5011eSPascal Brand 
50541d71430SPascal Brand 	get_prop_set(prop_set, &props, &size, &vendor_props, &vendor_size);
50664a5011eSPascal Brand 	if (!props)
50764a5011eSPascal Brand 		return TEE_ERROR_ITEM_NOT_FOUND;
50864a5011eSPascal Brand 
50964a5011eSPascal Brand 	if (!name || !name_len) {
51064a5011eSPascal Brand 		res = TEE_ERROR_BAD_PARAMETERS;
51164a5011eSPascal Brand 		goto out;
51264a5011eSPascal Brand 	}
51364a5011eSPascal Brand 
51464a5011eSPascal Brand 	kname = malloc(name_len);
51564a5011eSPascal Brand 	if (!kname)
51664a5011eSPascal Brand 		return TEE_ERROR_OUT_OF_MEMORY;
517c40a6505SJens Wiklander 	res = copy_from_user(kname, name, name_len);
51864a5011eSPascal Brand 	if (res != TEE_SUCCESS)
51964a5011eSPascal Brand 		goto out;
52064a5011eSPascal Brand 	kname[name_len - 1] = 0;
52164a5011eSPascal Brand 
52264a5011eSPascal Brand 	res = TEE_ERROR_ITEM_NOT_FOUND;
52364a5011eSPascal Brand 	for (i = 0; i < size; i++) {
52464a5011eSPascal Brand 		if (!strcmp(kname, props[i].name)) {
525c40a6505SJens Wiklander 			res = copy_to_user(index, &i, sizeof(*index));
52641d71430SPascal Brand 			goto out;
52741d71430SPascal Brand 		}
52841d71430SPascal Brand 	}
52941d71430SPascal Brand 	for (i = size; i < size + vendor_size; i++) {
53041d71430SPascal Brand 		if (!strcmp(kname, vendor_props[i - size].name)) {
531c40a6505SJens Wiklander 			res = copy_to_user(index, &i, sizeof(*index));
53241d71430SPascal Brand 			goto out;
53364a5011eSPascal Brand 		}
53464a5011eSPascal Brand 	}
53564a5011eSPascal Brand 
53664a5011eSPascal Brand out:
53770b61310SJerome Forissier 	free_wipe(kname);
53864a5011eSPascal Brand 	return res;
53964a5011eSPascal Brand }
54064a5011eSPascal Brand 
541d5c5b0b7SJens Wiklander static TEE_Result utee_param_to_param(struct user_ta_ctx *utc,
542d5c5b0b7SJens Wiklander 				      struct tee_ta_param *p,
543d5c5b0b7SJens Wiklander 				      struct utee_params *up)
544e86f1266SJens Wiklander {
5451936dfc7SJens Wiklander 	size_t n = 0;
546e86f1266SJens Wiklander 	uint32_t types = up->types;
547e86f1266SJens Wiklander 
548e86f1266SJens Wiklander 	p->types = types;
549e86f1266SJens Wiklander 	for (n = 0; n < TEE_NUM_PARAMS; n++) {
550e86f1266SJens Wiklander 		uintptr_t a = up->vals[n * 2];
551e86f1266SJens Wiklander 		size_t b = up->vals[n * 2 + 1];
552d5c5b0b7SJens Wiklander 		uint32_t flags = TEE_MEMORY_ACCESS_READ |
553d5c5b0b7SJens Wiklander 				 TEE_MEMORY_ACCESS_ANY_OWNER;
554e86f1266SJens Wiklander 
555e86f1266SJens Wiklander 		switch (TEE_PARAM_TYPE_GET(types, n)) {
556e86f1266SJens Wiklander 		case TEE_PARAM_TYPE_MEMREF_OUTPUT:
557e86f1266SJens Wiklander 		case TEE_PARAM_TYPE_MEMREF_INOUT:
558d5c5b0b7SJens Wiklander 			flags |= TEE_MEMORY_ACCESS_WRITE;
559919a5a68SJerome Forissier 			fallthrough;
560d5c5b0b7SJens Wiklander 		case TEE_PARAM_TYPE_MEMREF_INPUT:
5610dcfa568SJens Wiklander 			p->u[n].mem.offs = a;
5620dcfa568SJens Wiklander 			p->u[n].mem.size = b;
563ee3e1c54SCedric Neveux 
564ee3e1c54SCedric Neveux 			if (!p->u[n].mem.offs) {
565ee3e1c54SCedric Neveux 				/* Allow NULL memrefs if of size 0 */
566ee3e1c54SCedric Neveux 				if (p->u[n].mem.size)
567ee3e1c54SCedric Neveux 					return TEE_ERROR_BAD_PARAMETERS;
568ee3e1c54SCedric Neveux 				p->u[n].mem.mobj = NULL;
569ee3e1c54SCedric Neveux 				break;
570ee3e1c54SCedric Neveux 			}
571ee3e1c54SCedric Neveux 
572ee3e1c54SCedric Neveux 			p->u[n].mem.mobj = &mobj_virt;
573ee3e1c54SCedric Neveux 
57489c9728dSJens Wiklander 			if (vm_check_access_rights(&utc->uctx, flags, a, b))
575d5c5b0b7SJens Wiklander 				return TEE_ERROR_ACCESS_DENIED;
576e86f1266SJens Wiklander 			break;
577e86f1266SJens Wiklander 		case TEE_PARAM_TYPE_VALUE_INPUT:
578e86f1266SJens Wiklander 		case TEE_PARAM_TYPE_VALUE_INOUT:
5790dcfa568SJens Wiklander 			p->u[n].val.a = a;
5800dcfa568SJens Wiklander 			p->u[n].val.b = b;
581e86f1266SJens Wiklander 			break;
582e86f1266SJens Wiklander 		default:
5830dcfa568SJens Wiklander 			memset(&p->u[n], 0, sizeof(p->u[n]));
584e86f1266SJens Wiklander 			break;
585e86f1266SJens Wiklander 		}
586e86f1266SJens Wiklander 	}
587d5c5b0b7SJens Wiklander 
588d5c5b0b7SJens Wiklander 	return TEE_SUCCESS;
589e86f1266SJens Wiklander }
590e86f1266SJens Wiklander 
5910dcfa568SJens Wiklander static TEE_Result alloc_temp_sec_mem(size_t size, struct mobj **mobj,
5926dbcd9ddSJens Wiklander 				     uint8_t **va)
5930dcfa568SJens Wiklander {
5949c4aaf67SJens Wiklander 	struct mobj *m = NULL;
5959c4aaf67SJens Wiklander 	void *v = NULL;
5969c4aaf67SJens Wiklander 
5970dcfa568SJens Wiklander 	/* Allocate section in secure DDR */
598d8555bddSJens Wiklander #ifdef CFG_PAGED_USER_TA
5999c4aaf67SJens Wiklander 	m = mobj_seccpy_shm_alloc(size);
600d8555bddSJens Wiklander #else
6019c4aaf67SJens Wiklander 	m = mobj_mm_alloc(mobj_sec_ddr, size, &tee_mm_sec_ddr);
602d8555bddSJens Wiklander #endif
6039c4aaf67SJens Wiklander 	if (!m)
6040dcfa568SJens Wiklander 		return TEE_ERROR_GENERIC;
6050dcfa568SJens Wiklander 
6069c4aaf67SJens Wiklander 	v = mobj_get_va(*mobj, 0, size);
6079c4aaf67SJens Wiklander 	if (!v) {
6089c4aaf67SJens Wiklander 		mobj_put(m);
6099c4aaf67SJens Wiklander 		return TEE_ERROR_GENERIC;
6109c4aaf67SJens Wiklander 	}
6119c4aaf67SJens Wiklander 
6129c4aaf67SJens Wiklander 	*mobj = m;
6139c4aaf67SJens Wiklander 	*va = v;
6140dcfa568SJens Wiklander 	return TEE_SUCCESS;
6150dcfa568SJens Wiklander }
6160dcfa568SJens Wiklander 
617b0104773SPascal Brand /*
618b0104773SPascal Brand  * TA invokes some TA with parameter.
619b0104773SPascal Brand  * If some parameters are memory references:
620b0104773SPascal Brand  * - either the memref is inside TA private RAM: TA is not allowed to expose
621b0104773SPascal Brand  *   its private RAM: use a temporary memory buffer and copy the data.
622b0104773SPascal Brand  * - or the memref is not in the TA private RAM:
623b0104773SPascal Brand  *   - if the memref was mapped to the TA, TA is allowed to expose it.
624b0104773SPascal Brand  *   - if so, converts memref virtual address into a physical address.
625b0104773SPascal Brand  */
62600b3b9a2SJens Wiklander static TEE_Result tee_svc_copy_param(struct ts_session *sess,
62700b3b9a2SJens Wiklander 				     struct ts_session *called_sess,
628e86f1266SJens Wiklander 				     struct utee_params *callee_params,
629b0104773SPascal Brand 				     struct tee_ta_param *param,
63037070d93SJens Wiklander 				     void *tmp_buf_va[TEE_NUM_PARAMS],
631a401bcfbSBastien Simondi 				     size_t tmp_buf_size[TEE_NUM_PARAMS],
6326dbcd9ddSJens Wiklander 				     struct mobj **mobj_tmp)
633b0104773SPascal Brand {
6348684fde8SJens Wiklander 	struct user_ta_ctx *utc = to_user_ta_ctx(sess->ctx);
6351936dfc7SJens Wiklander 	bool ta_private_memref[TEE_NUM_PARAMS] = { false, };
6361936dfc7SJens Wiklander 	TEE_Result res = TEE_SUCCESS;
6371936dfc7SJens Wiklander 	size_t dst_offs = 0;
6381936dfc7SJens Wiklander 	size_t req_mem = 0;
6391936dfc7SJens Wiklander 	uint8_t *dst = 0;
6401936dfc7SJens Wiklander 	void *va = NULL;
6411936dfc7SJens Wiklander 	size_t n = 0;
6421936dfc7SJens Wiklander 	size_t s = 0;
643b0104773SPascal Brand 
644b7fc217fSPascal Brand 	/* fill 'param' input struct with caller params description buffer */
645b7fc217fSPascal Brand 	if (!callee_params) {
646e86f1266SJens Wiklander 		memset(param, 0, sizeof(*param));
647b0104773SPascal Brand 	} else {
6481936dfc7SJens Wiklander 		uint32_t flags = TEE_MEMORY_ACCESS_READ |
64985daf48cSJens Wiklander 				 TEE_MEMORY_ACCESS_WRITE |
6501936dfc7SJens Wiklander 				 TEE_MEMORY_ACCESS_ANY_OWNER;
6511936dfc7SJens Wiklander 
65289c9728dSJens Wiklander 		res = vm_check_access_rights(&utc->uctx, flags,
6531936dfc7SJens Wiklander 					     (uaddr_t)callee_params,
6541936dfc7SJens Wiklander 					     sizeof(struct utee_params));
655177603c7SJens Wiklander 		if (res != TEE_SUCCESS)
656177603c7SJens Wiklander 			return res;
657d5c5b0b7SJens Wiklander 		res = utee_param_to_param(utc, param, callee_params);
658d5c5b0b7SJens Wiklander 		if (res != TEE_SUCCESS)
659d5c5b0b7SJens Wiklander 			return res;
660b0104773SPascal Brand 	}
661b0104773SPascal Brand 
66242fb5b2eSEtienne Carriere 	if (called_sess && is_pseudo_ta_ctx(called_sess->ctx)) {
66335964dc9SEtienne Carriere 		/* pseudo TA borrows the mapping of the calling TA */
664b0104773SPascal Brand 		return TEE_SUCCESS;
665b0104773SPascal Brand 	}
666b0104773SPascal Brand 
6670dcfa568SJens Wiklander 	/* All mobj in param are of type MOJB_TYPE_VIRT */
6680dcfa568SJens Wiklander 
669b0104773SPascal Brand 	for (n = 0; n < TEE_NUM_PARAMS; n++) {
670b0104773SPascal Brand 
671b0104773SPascal Brand 		ta_private_memref[n] = false;
672b0104773SPascal Brand 
673b0104773SPascal Brand 		switch (TEE_PARAM_TYPE_GET(param->types, n)) {
674b0104773SPascal Brand 		case TEE_PARAM_TYPE_MEMREF_INPUT:
675b0104773SPascal Brand 		case TEE_PARAM_TYPE_MEMREF_OUTPUT:
676b0104773SPascal Brand 		case TEE_PARAM_TYPE_MEMREF_INOUT:
6770dcfa568SJens Wiklander 			va = (void *)param->u[n].mem.offs;
6780dcfa568SJens Wiklander 			s = param->u[n].mem.size;
6790dcfa568SJens Wiklander 			if (!va) {
680b0961f98SJerome Forissier 				if (s)
681b0104773SPascal Brand 					return TEE_ERROR_BAD_PARAMETERS;
682b0104773SPascal Brand 				break;
683b0104773SPascal Brand 			}
684b0104773SPascal Brand 			/* uTA cannot expose its private memory */
68589c9728dSJens Wiklander 			if (vm_buf_is_inside_um_private(&utc->uctx, va, s)) {
6860dcfa568SJens Wiklander 				s = ROUNDUP(s, sizeof(uint32_t));
6878d0f8b46SJens Wiklander 				if (ADD_OVERFLOW(req_mem, s, &req_mem))
688b0104773SPascal Brand 					return TEE_ERROR_BAD_PARAMETERS;
689b0104773SPascal Brand 				ta_private_memref[n] = true;
690b0104773SPascal Brand 				break;
691b0104773SPascal Brand 			}
692b0104773SPascal Brand 
69389c9728dSJens Wiklander 			res = vm_buf_to_mboj_offs(&utc->uctx, va, s,
6940dcfa568SJens Wiklander 						  &param->u[n].mem.mobj,
6950dcfa568SJens Wiklander 						  &param->u[n].mem.offs);
6960dcfa568SJens Wiklander 			if (res != TEE_SUCCESS)
6970dcfa568SJens Wiklander 				return res;
698b0104773SPascal Brand 			break;
699b0104773SPascal Brand 		default:
700b0104773SPascal Brand 			break;
701b0104773SPascal Brand 		}
702b0104773SPascal Brand 	}
703b0104773SPascal Brand 
704b0104773SPascal Brand 	if (req_mem == 0)
705b0104773SPascal Brand 		return TEE_SUCCESS;
706b0104773SPascal Brand 
7076dbcd9ddSJens Wiklander 	res = alloc_temp_sec_mem(req_mem, mobj_tmp, &dst);
7080dcfa568SJens Wiklander 	if (res != TEE_SUCCESS)
7090dcfa568SJens Wiklander 		return res;
7106dbcd9ddSJens Wiklander 	dst_offs = 0;
711b0104773SPascal Brand 
71268540524SIgor Opaniuk 	for (n = 0; n < TEE_NUM_PARAMS; n++) {
713b0104773SPascal Brand 
7140dcfa568SJens Wiklander 		if (!ta_private_memref[n])
715b0104773SPascal Brand 			continue;
716b0104773SPascal Brand 
7170dcfa568SJens Wiklander 		s = ROUNDUP(param->u[n].mem.size, sizeof(uint32_t));
718b0104773SPascal Brand 
719b0104773SPascal Brand 		switch (TEE_PARAM_TYPE_GET(param->types, n)) {
720b0104773SPascal Brand 		case TEE_PARAM_TYPE_MEMREF_INPUT:
721b0104773SPascal Brand 		case TEE_PARAM_TYPE_MEMREF_INOUT:
7220dcfa568SJens Wiklander 			va = (void *)param->u[n].mem.offs;
7230dcfa568SJens Wiklander 			if (va) {
724c40a6505SJens Wiklander 				res = copy_from_user(dst, va,
7250dcfa568SJens Wiklander 						     param->u[n].mem.size);
726b0104773SPascal Brand 				if (res != TEE_SUCCESS)
727b0104773SPascal Brand 					return res;
7280dcfa568SJens Wiklander 				param->u[n].mem.offs = dst_offs;
7296dbcd9ddSJens Wiklander 				param->u[n].mem.mobj = *mobj_tmp;
73037070d93SJens Wiklander 				tmp_buf_va[n] = dst;
731a401bcfbSBastien Simondi 				tmp_buf_size[n] = param->u[n].mem.size;
732b0104773SPascal Brand 				dst += s;
7330dcfa568SJens Wiklander 				dst_offs += s;
734b0104773SPascal Brand 			}
735b0104773SPascal Brand 			break;
736b0104773SPascal Brand 
737b0104773SPascal Brand 		case TEE_PARAM_TYPE_MEMREF_OUTPUT:
7380dcfa568SJens Wiklander 			va = (void *)param->u[n].mem.offs;
7390dcfa568SJens Wiklander 			if (va) {
7400dcfa568SJens Wiklander 				param->u[n].mem.offs = dst_offs;
7416dbcd9ddSJens Wiklander 				param->u[n].mem.mobj = *mobj_tmp;
74237070d93SJens Wiklander 				tmp_buf_va[n] = dst;
743a401bcfbSBastien Simondi 				tmp_buf_size[n] = param->u[n].mem.size;
744b0104773SPascal Brand 				dst += s;
7450dcfa568SJens Wiklander 				dst_offs += s;
746b0104773SPascal Brand 			}
747b0104773SPascal Brand 			break;
748b0104773SPascal Brand 
749b0104773SPascal Brand 		default:
750b0104773SPascal Brand 			continue;
751b0104773SPascal Brand 		}
752b0104773SPascal Brand 	}
753b0104773SPascal Brand 
754b0104773SPascal Brand 	return TEE_SUCCESS;
755b0104773SPascal Brand }
756b0104773SPascal Brand 
757b0104773SPascal Brand /*
758b0104773SPascal Brand  * Back from execution of service: update parameters passed from TA:
759b0104773SPascal Brand  * If some parameters were memory references:
760b0104773SPascal Brand  * - either the memref was temporary: copy back data and update size
761b0104773SPascal Brand  * - or it was the original TA memref: update only the size value.
762b0104773SPascal Brand  */
763b0104773SPascal Brand static TEE_Result tee_svc_update_out_param(
764b0104773SPascal Brand 		struct tee_ta_param *param,
76537070d93SJens Wiklander 		void *tmp_buf_va[TEE_NUM_PARAMS],
766a401bcfbSBastien Simondi 		size_t tmp_buf_size[TEE_NUM_PARAMS],
767e86f1266SJens Wiklander 		struct utee_params *usr_param)
768b0104773SPascal Brand {
769b0104773SPascal Brand 	size_t n;
770359324a2SJens Wiklander 	uint64_t *vals = usr_param->vals;
771c40a6505SJens Wiklander 	size_t sz = 0;
772bc420748SJens Wiklander 
773b0104773SPascal Brand 	for (n = 0; n < TEE_NUM_PARAMS; n++) {
774b0104773SPascal Brand 		switch (TEE_PARAM_TYPE_GET(param->types, n)) {
775b0104773SPascal Brand 		case TEE_PARAM_TYPE_MEMREF_OUTPUT:
776b0104773SPascal Brand 		case TEE_PARAM_TYPE_MEMREF_INOUT:
777b0104773SPascal Brand 			/*
778359324a2SJens Wiklander 			 * Memory copy is only needed if there's a temporary
779359324a2SJens Wiklander 			 * buffer involved, tmp_buf_va[n] is only update if
780359324a2SJens Wiklander 			 * a temporary buffer is used. Otherwise only the
781359324a2SJens Wiklander 			 * size needs to be updated.
782b0104773SPascal Brand 			 */
783c40a6505SJens Wiklander 			sz = param->u[n].mem.size;
784c40a6505SJens Wiklander 			if (tmp_buf_va[n] && sz <= vals[n * 2 + 1]) {
785359324a2SJens Wiklander 				void *src = tmp_buf_va[n];
786359324a2SJens Wiklander 				void *dst = (void *)(uintptr_t)vals[n * 2];
787c40a6505SJens Wiklander 				TEE_Result res = TEE_SUCCESS;
788b0104773SPascal Brand 
789a401bcfbSBastien Simondi 				/*
790a401bcfbSBastien Simondi 				 * TA is allowed to return a size larger than
791a401bcfbSBastien Simondi 				 * the original size. However, in such cases no
792a401bcfbSBastien Simondi 				 * data should be synchronized as per TEE Client
793a401bcfbSBastien Simondi 				 * API spec.
794a401bcfbSBastien Simondi 				 */
795c40a6505SJens Wiklander 				if (sz <= tmp_buf_size[n]) {
796c40a6505SJens Wiklander 					res = copy_to_user(dst, src, sz);
797b0104773SPascal Brand 					if (res != TEE_SUCCESS)
798b0104773SPascal Brand 						return res;
799a401bcfbSBastien Simondi 				}
800b0104773SPascal Brand 			}
801c40a6505SJens Wiklander 			usr_param->vals[n * 2 + 1] = sz;
802b0104773SPascal Brand 			break;
803b0104773SPascal Brand 
804b0104773SPascal Brand 		case TEE_PARAM_TYPE_VALUE_OUTPUT:
805b0104773SPascal Brand 		case TEE_PARAM_TYPE_VALUE_INOUT:
806359324a2SJens Wiklander 			vals[n * 2] = param->u[n].val.a;
807359324a2SJens Wiklander 			vals[n * 2 + 1] = param->u[n].val.b;
808b0104773SPascal Brand 			break;
809b0104773SPascal Brand 
810b0104773SPascal Brand 		default:
811b0104773SPascal Brand 			continue;
812b0104773SPascal Brand 		}
813b0104773SPascal Brand 	}
814b0104773SPascal Brand 
815b0104773SPascal Brand 	return TEE_SUCCESS;
816b0104773SPascal Brand }
817b0104773SPascal Brand 
818b0104773SPascal Brand /* Called when a TA calls an OpenSession on another TA */
819453a5030SJerome Forissier TEE_Result syscall_open_ta_session(const TEE_UUID *dest,
820e86f1266SJens Wiklander 			unsigned long cancel_req_to,
821e86f1266SJens Wiklander 			struct utee_params *usr_param, uint32_t *ta_sess,
822b0104773SPascal Brand 			uint32_t *ret_orig)
823b0104773SPascal Brand {
82400b3b9a2SJens Wiklander 	struct ts_session *sess = ts_get_current_session();
82500b3b9a2SJens Wiklander 	struct user_ta_ctx *utc = to_user_ta_ctx(sess->ctx);
82600b3b9a2SJens Wiklander 	TEE_Result res = TEE_SUCCESS;
827b0104773SPascal Brand 	uint32_t ret_o = TEE_ORIGIN_TEE;
828b0104773SPascal Brand 	struct tee_ta_session *s = NULL;
8296dbcd9ddSJens Wiklander 	struct mobj *mobj_param = NULL;
830b0104773SPascal Brand 	TEE_UUID *uuid = malloc(sizeof(TEE_UUID));
831b0104773SPascal Brand 	struct tee_ta_param *param = malloc(sizeof(struct tee_ta_param));
832b0104773SPascal Brand 	TEE_Identity *clnt_id = malloc(sizeof(TEE_Identity));
833359324a2SJens Wiklander 	void *tmp_buf_va[TEE_NUM_PARAMS] = { NULL };
834a401bcfbSBastien Simondi 	size_t tmp_buf_size[TEE_NUM_PARAMS] = { 0 };
835b0104773SPascal Brand 
836b0104773SPascal Brand 	if (uuid == NULL || param == NULL || clnt_id == NULL) {
837b0104773SPascal Brand 		res = TEE_ERROR_OUT_OF_MEMORY;
838b0104773SPascal Brand 		goto out_free_only;
839b0104773SPascal Brand 	}
840b0104773SPascal Brand 
841b0104773SPascal Brand 	memset(param, 0, sizeof(struct tee_ta_param));
842b0104773SPascal Brand 
843e12c9f67SJens Wiklander 	res = copy_from_user_private(uuid, dest, sizeof(TEE_UUID));
844b0104773SPascal Brand 	if (res != TEE_SUCCESS)
845b0104773SPascal Brand 		goto function_exit;
846b0104773SPascal Brand 
847b0104773SPascal Brand 	clnt_id->login = TEE_LOGIN_TRUSTED_APP;
848bc420748SJens Wiklander 	memcpy(&clnt_id->uuid, &sess->ctx->uuid, sizeof(TEE_UUID));
849b0104773SPascal Brand 
85037070d93SJens Wiklander 	res = tee_svc_copy_param(sess, NULL, usr_param, param, tmp_buf_va,
851a401bcfbSBastien Simondi 				 tmp_buf_size, &mobj_param);
852b0104773SPascal Brand 	if (res != TEE_SUCCESS)
853b0104773SPascal Brand 		goto function_exit;
854b0104773SPascal Brand 
8558684fde8SJens Wiklander 	res = tee_ta_open_session(&ret_o, &s, &utc->open_sessions, uuid,
85627cbcc57SJens Wiklander 				  clnt_id, cancel_req_to, param);
85789c9728dSJens Wiklander 	vm_set_ctx(&utc->ta_ctx.ts_ctx);
858c0346845SJens Wiklander 	if (res != TEE_SUCCESS)
859b0104773SPascal Brand 		goto function_exit;
860b0104773SPascal Brand 
861a401bcfbSBastien Simondi 	res = tee_svc_update_out_param(param, tmp_buf_va, tmp_buf_size,
862a401bcfbSBastien Simondi 				       usr_param);
863b0104773SPascal Brand 
864b0104773SPascal Brand function_exit:
865b9651492SJens Wiklander 	mobj_put_wipe(mobj_param);
8662dcb3d36SJerome Forissier 	if (res == TEE_SUCCESS)
867e12c9f67SJens Wiklander 		copy_to_user_private(ta_sess, &s->id, sizeof(s->id));
868e12c9f67SJens Wiklander 	copy_to_user_private(ret_orig, &ret_o, sizeof(ret_o));
869b0104773SPascal Brand 
870b0104773SPascal Brand out_free_only:
87170b61310SJerome Forissier 	free_wipe(param);
87270b61310SJerome Forissier 	free_wipe(uuid);
87370b61310SJerome Forissier 	free_wipe(clnt_id);
874b0104773SPascal Brand 	return res;
875b0104773SPascal Brand }
876b0104773SPascal Brand 
877e86f1266SJens Wiklander TEE_Result syscall_close_ta_session(unsigned long ta_sess)
878b0104773SPascal Brand {
87900b3b9a2SJens Wiklander 	struct ts_session *sess = ts_get_current_session();
88000b3b9a2SJens Wiklander 	struct user_ta_ctx *utc = to_user_ta_ctx(sess->ctx);
88100b3b9a2SJens Wiklander 	TEE_Identity clnt_id = { };
88299164a05SJerome Forissier 	struct tee_ta_session *s = NULL;
883b0104773SPascal Brand 
88499164a05SJerome Forissier 	s = tee_ta_find_session(ta_sess, &utc->open_sessions);
885b0104773SPascal Brand 
88660699957SPascal Brand 	clnt_id.login = TEE_LOGIN_TRUSTED_APP;
887bc420748SJens Wiklander 	memcpy(&clnt_id.uuid, &sess->ctx->uuid, sizeof(TEE_UUID));
888b0104773SPascal Brand 
889a07c12b2SJens Wiklander 	return tee_ta_close_session(s, &utc->open_sessions, &clnt_id);
890b0104773SPascal Brand }
891b0104773SPascal Brand 
892e86f1266SJens Wiklander TEE_Result syscall_invoke_ta_command(unsigned long ta_sess,
893e86f1266SJens Wiklander 			unsigned long cancel_req_to, unsigned long cmd_id,
894e86f1266SJens Wiklander 			struct utee_params *usr_param, uint32_t *ret_orig)
895b0104773SPascal Brand {
89600b3b9a2SJens Wiklander 	struct ts_session *sess = ts_get_current_session();
89700b3b9a2SJens Wiklander 	struct user_ta_ctx *utc = to_user_ta_ctx(sess->ctx);
89800b3b9a2SJens Wiklander 	TEE_Result res = TEE_SUCCESS;
89900b3b9a2SJens Wiklander 	TEE_Result res2 = TEE_SUCCESS;
900b0104773SPascal Brand 	uint32_t ret_o = TEE_ORIGIN_TEE;
901b0104773SPascal Brand 	struct tee_ta_param param = { 0 };
90200b3b9a2SJens Wiklander 	TEE_Identity clnt_id = { };
90300b3b9a2SJens Wiklander 	struct tee_ta_session *called_sess = NULL;
9046dbcd9ddSJens Wiklander 	struct mobj *mobj_param = NULL;
905359324a2SJens Wiklander 	void *tmp_buf_va[TEE_NUM_PARAMS] = { NULL };
906a401bcfbSBastien Simondi 	size_t tmp_buf_size[TEE_NUM_PARAMS] = { };
907b0104773SPascal Brand 
90899164a05SJerome Forissier 	called_sess = tee_ta_get_session((uint32_t)ta_sess, true,
9098684fde8SJens Wiklander 				&utc->open_sessions);
910b666b6f2SJens Wiklander 	if (!called_sess)
911b666b6f2SJens Wiklander 		return TEE_ERROR_BAD_PARAMETERS;
912b0104773SPascal Brand 
91360699957SPascal Brand 	clnt_id.login = TEE_LOGIN_TRUSTED_APP;
914bc420748SJens Wiklander 	memcpy(&clnt_id.uuid, &sess->ctx->uuid, sizeof(TEE_UUID));
91560699957SPascal Brand 
91600b3b9a2SJens Wiklander 	res = tee_svc_copy_param(sess, &called_sess->ts_sess, usr_param, &param,
917a401bcfbSBastien Simondi 				 tmp_buf_va, tmp_buf_size, &mobj_param);
918b0104773SPascal Brand 	if (res != TEE_SUCCESS)
919b0104773SPascal Brand 		goto function_exit;
920b0104773SPascal Brand 
92160699957SPascal Brand 	res = tee_ta_invoke_command(&ret_o, called_sess, &clnt_id,
92260699957SPascal Brand 				    cancel_req_to, cmd_id, &param);
923fd10f62bSOvidiu Mihalachi 	if (res == TEE_ERROR_TARGET_DEAD)
924fd10f62bSOvidiu Mihalachi 		goto function_exit;
92560699957SPascal Brand 
926a401bcfbSBastien Simondi 	res2 = tee_svc_update_out_param(&param, tmp_buf_va, tmp_buf_size,
927a401bcfbSBastien Simondi 					usr_param);
9287d82e180SJens Wiklander 	if (res2 != TEE_SUCCESS) {
9297d82e180SJens Wiklander 		/*
9307d82e180SJens Wiklander 		 * Spec for TEE_InvokeTACommand() says:
9317d82e180SJens Wiklander 		 * "If the return origin is different from
9327d82e180SJens Wiklander 		 * TEE_ORIGIN_TRUSTED_APP, then the function has failed
9337d82e180SJens Wiklander 		 * before it could reach the destination Trusted
9347d82e180SJens Wiklander 		 * Application."
9357d82e180SJens Wiklander 		 *
9367d82e180SJens Wiklander 		 * But if we can't update params to the caller we have no
9377d82e180SJens Wiklander 		 * choice we need to return some error to indicate that
9387d82e180SJens Wiklander 		 * parameters aren't updated as expected.
9397d82e180SJens Wiklander 		 */
9407d82e180SJens Wiklander 		ret_o = TEE_ORIGIN_TEE;
9417d82e180SJens Wiklander 		res = res2;
9427d82e180SJens Wiklander 	}
943b0104773SPascal Brand 
944b0104773SPascal Brand function_exit:
945b666b6f2SJens Wiklander 	tee_ta_put_session(called_sess);
946b9651492SJens Wiklander 	mobj_put_wipe(mobj_param);
947e12c9f67SJens Wiklander 	copy_to_user_private(ret_orig, &ret_o, sizeof(ret_o));
948b0104773SPascal Brand 	return res;
949b0104773SPascal Brand }
950b0104773SPascal Brand 
951e86f1266SJens Wiklander TEE_Result syscall_check_access_rights(unsigned long flags, const void *buf,
952b0104773SPascal Brand 				       size_t len)
953b0104773SPascal Brand {
95400b3b9a2SJens Wiklander 	struct ts_session *s = ts_get_current_session();
955b0104773SPascal Brand 
95689c9728dSJens Wiklander 	return vm_check_access_rights(&to_user_ta_ctx(s->ctx)->uctx, flags,
9572ffdd194SJens Wiklander 				      (uaddr_t)buf, len);
958b0104773SPascal Brand }
959b0104773SPascal Brand 
960e86f1266SJens Wiklander TEE_Result syscall_get_cancellation_flag(uint32_t *cancel)
961b0104773SPascal Brand {
96200b3b9a2SJens Wiklander 	struct ts_session *s = ts_get_current_session();
96300b3b9a2SJens Wiklander 	uint32_t c = 0;
964b0104773SPascal Brand 
96500b3b9a2SJens Wiklander 	c = tee_ta_session_is_cancelled(to_ta_session(s), NULL);
966b0104773SPascal Brand 
967c40a6505SJens Wiklander 	return copy_to_user(cancel, &c, sizeof(c));
968b0104773SPascal Brand }
969b0104773SPascal Brand 
970e86f1266SJens Wiklander TEE_Result syscall_unmask_cancellation(uint32_t *old_mask)
971b0104773SPascal Brand {
97200b3b9a2SJens Wiklander 	struct ts_session *s = ts_get_current_session();
97300b3b9a2SJens Wiklander 	struct tee_ta_session *sess = NULL;
97400b3b9a2SJens Wiklander 	uint32_t m = 0;
975b0104773SPascal Brand 
97600b3b9a2SJens Wiklander 	sess = to_ta_session(s);
97700b3b9a2SJens Wiklander 	m = sess->cancel_mask;
97800b3b9a2SJens Wiklander 	sess->cancel_mask = false;
979c40a6505SJens Wiklander 	return copy_to_user(old_mask, &m, sizeof(m));
980b0104773SPascal Brand }
981b0104773SPascal Brand 
982e86f1266SJens Wiklander TEE_Result syscall_mask_cancellation(uint32_t *old_mask)
983b0104773SPascal Brand {
98400b3b9a2SJens Wiklander 	struct ts_session *s = ts_get_current_session();
98500b3b9a2SJens Wiklander 	struct tee_ta_session *sess = NULL;
98600b3b9a2SJens Wiklander 	uint32_t m = 0;
987b0104773SPascal Brand 
98800b3b9a2SJens Wiklander 	sess = to_ta_session(s);
98900b3b9a2SJens Wiklander 	m = sess->cancel_mask;
99000b3b9a2SJens Wiklander 	sess->cancel_mask = true;
991c40a6505SJens Wiklander 	return copy_to_user(old_mask, &m, sizeof(m));
992b0104773SPascal Brand }
993b0104773SPascal Brand 
994e86f1266SJens Wiklander TEE_Result syscall_wait(unsigned long timeout)
995b0104773SPascal Brand {
99600b3b9a2SJens Wiklander 	struct ts_session *s = ts_get_current_session();
997b0104773SPascal Brand 	TEE_Result res = TEE_SUCCESS;
998b0104773SPascal Brand 	uint32_t mytime = 0;
99900b3b9a2SJens Wiklander 	TEE_Time base_time = { };
100000b3b9a2SJens Wiklander 	TEE_Time current_time = { };
1001b0104773SPascal Brand 
1002b0104773SPascal Brand 	res = tee_time_get_sys_time(&base_time);
1003b0104773SPascal Brand 	if (res != TEE_SUCCESS)
1004b0104773SPascal Brand 		return res;
1005b0104773SPascal Brand 
1006b0104773SPascal Brand 	while (true) {
1007b0104773SPascal Brand 		res = tee_time_get_sys_time(&current_time);
1008b0104773SPascal Brand 		if (res != TEE_SUCCESS)
1009b0104773SPascal Brand 			return res;
1010b0104773SPascal Brand 
101100b3b9a2SJens Wiklander 		if (tee_ta_session_is_cancelled(to_ta_session(s),
101200b3b9a2SJens Wiklander 						&current_time))
1013b0104773SPascal Brand 			return TEE_ERROR_CANCEL;
1014b0104773SPascal Brand 
1015b0104773SPascal Brand 		mytime = (current_time.seconds - base_time.seconds) * 1000 +
1016b0104773SPascal Brand 		    (int)current_time.millis - (int)base_time.millis;
1017b0104773SPascal Brand 		if (mytime >= timeout)
1018b0104773SPascal Brand 			return TEE_SUCCESS;
1019b0104773SPascal Brand 
1020d1aea08fSSY Chiu 		tee_time_wait(timeout - mytime);
1021b0104773SPascal Brand 	}
1022b0104773SPascal Brand 
1023b0104773SPascal Brand 	return res;
1024b0104773SPascal Brand }
1025b0104773SPascal Brand 
1026e86f1266SJens Wiklander TEE_Result syscall_get_time(unsigned long cat, TEE_Time *mytime)
1027b0104773SPascal Brand {
102800b3b9a2SJens Wiklander 	struct ts_session *s = ts_get_current_session();
102900b3b9a2SJens Wiklander 	TEE_Result res = TEE_SUCCESS;
103000b3b9a2SJens Wiklander 	TEE_Result res2 = TEE_SUCCESS;
103100b3b9a2SJens Wiklander 	TEE_Time t = { };
1032b0104773SPascal Brand 
1033b0104773SPascal Brand 	switch (cat) {
1034b0104773SPascal Brand 	case UTEE_TIME_CAT_SYSTEM:
1035b0104773SPascal Brand 		res = tee_time_get_sys_time(&t);
1036b0104773SPascal Brand 		break;
1037b0104773SPascal Brand 	case UTEE_TIME_CAT_TA_PERSISTENT:
1038bc420748SJens Wiklander 		res = tee_time_get_ta_time((const void *)&s->ctx->uuid, &t);
1039b0104773SPascal Brand 		break;
1040b0104773SPascal Brand 	case UTEE_TIME_CAT_REE:
1041b0104773SPascal Brand 		res = tee_time_get_ree_time(&t);
1042b0104773SPascal Brand 		break;
1043b0104773SPascal Brand 	default:
1044b0104773SPascal Brand 		res = TEE_ERROR_BAD_PARAMETERS;
1045b0104773SPascal Brand 		break;
1046b0104773SPascal Brand 	}
1047b0104773SPascal Brand 
1048b0104773SPascal Brand 	if (res == TEE_SUCCESS || res == TEE_ERROR_OVERFLOW) {
1049e12c9f67SJens Wiklander 		res2 = copy_to_user_private(mytime, &t, sizeof(t));
1050b0104773SPascal Brand 		if (res2 != TEE_SUCCESS)
1051b0104773SPascal Brand 			res = res2;
1052b0104773SPascal Brand 	}
1053b0104773SPascal Brand 
1054b0104773SPascal Brand 	return res;
1055b0104773SPascal Brand }
1056b0104773SPascal Brand 
1057453a5030SJerome Forissier TEE_Result syscall_set_ta_time(const TEE_Time *mytime)
1058b0104773SPascal Brand {
105900b3b9a2SJens Wiklander 	struct ts_session *s = ts_get_current_session();
106000b3b9a2SJens Wiklander 	TEE_Result res = TEE_SUCCESS;
106100b3b9a2SJens Wiklander 	TEE_Time t = { };
1062b0104773SPascal Brand 
1063e12c9f67SJens Wiklander 	res = copy_from_user_private(&t, mytime, sizeof(t));
1064b0104773SPascal Brand 	if (res != TEE_SUCCESS)
1065b0104773SPascal Brand 		return res;
1066b0104773SPascal Brand 
1067bc420748SJens Wiklander 	return tee_time_set_ta_time((const void *)&s->ctx->uuid, &t);
1068b0104773SPascal Brand }
1069