blob: a54514b200e9e927e8ff9949e5f5ae0c937506f9 [file] [log] [blame]
Edison Ai764d41f2018-09-21 15:56:36 +08001/*
Sherry Zhangdcab2862022-01-10 10:43:31 +08002 * Copyright (c) 2018-2022, Arm Limited. All rights reserved.
Chris Brand56b4d0c2021-12-17 16:15:58 -08003 * Copyright (c) 2021, Cypress Semiconductor Corporation. All rights reserved.
Edison Ai764d41f2018-09-21 15:56:36 +08004 *
5 * SPDX-License-Identifier: BSD-3-Clause
6 *
7 */
Mingyang Sunda01a972019-07-12 17:32:59 +08008
Edison Ai764d41f2018-09-21 15:56:36 +08009#include <inttypes.h>
10#include <stdbool.h>
Ken Liu086b32c2021-12-27 14:44:52 +080011#include "aapcs_local.h"
Ken Liu24dffb22021-02-10 11:03:58 +080012#include "bitops.h"
Mingyang Sun4609ac72022-02-08 18:56:35 +080013#include "config_impl.h"
Ken Liu92ede9f2021-10-20 09:35:00 +080014#include "critical_section.h"
Ken Liuf39d8eb2021-10-07 12:55:33 +080015#include "current.h"
David Huf07e97d2021-02-15 22:05:40 +080016#include "fih.h"
Jamie Foxcc31d402019-01-28 17:13:52 +000017#include "psa/client.h"
18#include "psa/service.h"
Ken Liu5d73c872021-08-19 19:23:17 +080019#include "thread.h"
Ken Liubcae38b2021-01-20 15:47:44 +080020#include "internal_errors.h"
Mingyang Sund44522a2020-01-16 16:48:37 +080021#include "tfm_spm_hal.h"
Mingyang Sund44522a2020-01-16 16:48:37 +080022#include "tfm_api.h"
Kevin Pengb20b0322022-02-09 16:47:19 +080023#include "tfm_arch.h"
Mingyang Sund44522a2020-01-16 16:48:37 +080024#include "tfm_secure_api.h"
25#include "tfm_memory_utils.h"
Mingyang Sund1ed6732020-08-26 15:52:21 +080026#include "tfm_hal_defs.h"
Kevin Pengd399a1f2021-09-08 15:33:14 +080027#include "tfm_hal_interrupt.h"
Mingyang Sund1ed6732020-08-26 15:52:21 +080028#include "tfm_hal_isolation.h"
Mingyang Sun7397b4f2020-06-17 15:07:45 +080029#include "spm_ipc.h"
Mingyang Sund44522a2020-01-16 16:48:37 +080030#include "tfm_peripherals_def.h"
Mingyang Sund44522a2020-01-16 16:48:37 +080031#include "tfm_core_utils.h"
Kevin Peng385fda82021-08-18 10:41:19 +080032#include "tfm_nspm.h"
Mingyang Sund44522a2020-01-16 16:48:37 +080033#include "tfm_rpc.h"
Mingyang Sund44522a2020-01-16 16:48:37 +080034#include "tfm_core_trustzone.h"
Ken Liu24dffb22021-02-10 11:03:58 +080035#include "lists.h"
Edison Ai764d41f2018-09-21 15:56:36 +080036#include "tfm_pools.h"
Mingyang Sun22a3faf2021-07-09 15:32:47 +080037#include "region.h"
Mingyang Sun7397b4f2020-06-17 15:07:45 +080038#include "psa_manifest/pid.h"
Mingyang Sundeae45d2021-09-06 15:31:07 +080039#include "ffm/backend.h"
Mingyang Sun00df2352021-04-15 15:46:08 +080040#include "load/partition_defs.h"
41#include "load/service_defs.h"
Ken Liu86686282021-04-27 11:11:15 +080042#include "load/asset_defs.h"
Ken Liuacd2a572021-05-12 16:19:04 +080043#include "load/spm_load_api.h"
Sherry Zhnag482b88b2021-08-19 17:51:47 +080044#include "tfm_nspm.h"
Summer Qin596f5552022-01-27 18:04:06 +080045#if defined(CONFIG_TFM_PARTITION_META)
46#include "tfm_hal_memory_symbols.h"
47#endif
Edison Ai764d41f2018-09-21 15:56:36 +080048
Sherry Zhang86a71c62022-01-12 18:19:02 +080049#if !(defined CONFIG_TFM_CONN_HANDLE_MAX_NUM) || (CONFIG_TFM_CONN_HANDLE_MAX_NUM == 0)
50#error "CONFIG_TFM_CONN_HANDLE_MAX_NUM must be defined and not zero."
51#endif
52
Ken Liuea45b0d2021-05-22 17:41:25 +080053/* Partition and service runtime data list head/runtime data table */
Ken Liuea45b0d2021-05-22 17:41:25 +080054static struct service_head_t services_listhead;
Ken Liub3b2cb62021-05-22 00:39:28 +080055struct service_t *stateless_services_ref_tbl[STATIC_HANDLE_NUM_LIMIT];
Summer Qind99509f2019-08-02 17:36:58 +080056
Summer Qin596f5552022-01-27 18:04:06 +080057#if defined(CONFIG_TFM_PARTITION_META)
58/* Indicator point to the partition meta */
59static uintptr_t *partition_meta_indicator_pos = NULL;
60#endif
61
Edison Ai764d41f2018-09-21 15:56:36 +080062/* Pools */
Ken Liu0bed7e02022-02-10 12:38:07 +080063TFM_POOL_DECLARE(conn_handle_pool, sizeof(struct conn_handle_t),
Sherry Zhang86a71c62022-01-12 18:19:02 +080064 CONFIG_TFM_CONN_HANDLE_MAX_NUM);
Edison Ai764d41f2018-09-21 15:56:36 +080065
Mingyang Sun620c8562021-11-10 11:44:58 +080066extern uint32_t scheduler_lock;
67
Summer Qin373feb12020-03-27 15:35:33 +080068/*********************** Connection handle conversion APIs *******************/
69
Summer Qin373feb12020-03-27 15:35:33 +080070#define CONVERSION_FACTOR_BITOFFSET 3
71#define CONVERSION_FACTOR_VALUE (1 << CONVERSION_FACTOR_BITOFFSET)
72/* Set 32 as the maximum */
73#define CONVERSION_FACTOR_VALUE_MAX 0x20
74
75#if CONVERSION_FACTOR_VALUE > CONVERSION_FACTOR_VALUE_MAX
76#error "CONVERSION FACTOR OUT OF RANGE"
77#endif
78
79static uint32_t loop_index;
80
81/*
82 * A handle instance psa_handle_t allocated inside SPM is actually a memory
83 * address among the handle pool. Return this handle to the client directly
84 * exposes information of secure memory address. In this case, converting the
85 * handle into another value does not represent the memory address to avoid
86 * exposing secure memory directly to clients.
87 *
88 * This function converts the handle instance into another value by scaling the
89 * handle in pool offset, the converted value is named as a user handle.
90 *
91 * The formula:
92 * user_handle = (handle_instance - POOL_START) * CONVERSION_FACTOR_VALUE +
93 * CLIENT_HANDLE_VALUE_MIN + loop_index
94 * where:
95 * CONVERSION_FACTOR_VALUE = 1 << CONVERSION_FACTOR_BITOFFSET, and should not
96 * exceed CONVERSION_FACTOR_VALUE_MAX.
97 *
98 * handle_instance in RANGE[POOL_START, POOL_END]
99 * user_handle in RANGE[CLIENT_HANDLE_VALUE_MIN, 0x3FFFFFFF]
100 * loop_index in RANGE[0, CONVERSION_FACTOR_VALUE - 1]
101 *
102 * note:
103 * loop_index is used to promise same handle instance is converted into
104 * different user handles in short time.
105 */
Ken Liu0bed7e02022-02-10 12:38:07 +0800106psa_handle_t tfm_spm_to_user_handle(struct conn_handle_t *handle_instance)
Summer Qin373feb12020-03-27 15:35:33 +0800107{
108 psa_handle_t user_handle;
109
110 loop_index = (loop_index + 1) % CONVERSION_FACTOR_VALUE;
111 user_handle = (psa_handle_t)((((uintptr_t)handle_instance -
112 (uintptr_t)conn_handle_pool) << CONVERSION_FACTOR_BITOFFSET) +
113 CLIENT_HANDLE_VALUE_MIN + loop_index);
114
115 return user_handle;
116}
117
118/*
119 * This function converts a user handle into a corresponded handle instance.
120 * The converted value is validated before returning, an invalid handle instance
121 * is returned as NULL.
122 *
123 * The formula:
124 * handle_instance = ((user_handle - CLIENT_HANDLE_VALUE_MIN) /
125 * CONVERSION_FACTOR_VALUE) + POOL_START
126 * where:
127 * CONVERSION_FACTOR_VALUE = 1 << CONVERSION_FACTOR_BITOFFSET, and should not
128 * exceed CONVERSION_FACTOR_VALUE_MAX.
129 *
130 * handle_instance in RANGE[POOL_START, POOL_END]
131 * user_handle in RANGE[CLIENT_HANDLE_VALUE_MIN, 0x3FFFFFFF]
132 * loop_index in RANGE[0, CONVERSION_FACTOR_VALUE - 1]
133 */
Ken Liu0bed7e02022-02-10 12:38:07 +0800134struct conn_handle_t *tfm_spm_to_handle_instance(psa_handle_t user_handle)
Summer Qin373feb12020-03-27 15:35:33 +0800135{
Ken Liu0bed7e02022-02-10 12:38:07 +0800136 struct conn_handle_t *handle_instance;
Summer Qin373feb12020-03-27 15:35:33 +0800137
138 if (user_handle == PSA_NULL_HANDLE) {
139 return NULL;
140 }
141
Ken Liu0bed7e02022-02-10 12:38:07 +0800142 handle_instance = (struct conn_handle_t *)((((uintptr_t)user_handle -
Summer Qin373feb12020-03-27 15:35:33 +0800143 CLIENT_HANDLE_VALUE_MIN) >> CONVERSION_FACTOR_BITOFFSET) +
144 (uintptr_t)conn_handle_pool);
145
146 return handle_instance;
147}
148
Edison Ai764d41f2018-09-21 15:56:36 +0800149/* Service handle management functions */
Kevin Penge61e7052022-01-27 14:57:06 +0800150struct conn_handle_t *tfm_spm_create_conn_handle(void)
Edison Ai764d41f2018-09-21 15:56:36 +0800151{
Ken Liu0bed7e02022-02-10 12:38:07 +0800152 struct conn_handle_t *p_handle;
Edison Ai764d41f2018-09-21 15:56:36 +0800153
Edison Ai764d41f2018-09-21 15:56:36 +0800154 /* Get buffer for handle list structure from handle pool */
Ken Liu0bed7e02022-02-10 12:38:07 +0800155 p_handle = (struct conn_handle_t *)tfm_pool_alloc(conn_handle_pool);
Edison Ai9cc26242019-08-06 11:28:04 +0800156 if (!p_handle) {
Summer Qin630c76b2020-05-20 10:32:58 +0800157 return NULL;
Edison Ai764d41f2018-09-21 15:56:36 +0800158 }
159
Kevin Peng2cc25722021-11-18 11:46:02 +0800160 spm_memset(p_handle, 0, sizeof(*p_handle));
161
Shawn Shancc39fcb2019-11-13 15:38:16 +0800162 p_handle->status = TFM_HANDLE_STATUS_IDLE;
Edison Ai764d41f2018-09-21 15:56:36 +0800163
Summer Qin630c76b2020-05-20 10:32:58 +0800164 return p_handle;
Edison Ai764d41f2018-09-21 15:56:36 +0800165}
166
Ken Liuad3f3e62022-03-04 22:23:52 +0800167psa_status_t tfm_spm_validate_conn_handle(const struct conn_handle_t *handle)
Summer Qin1ce712a2019-10-14 18:04:05 +0800168{
Kevin Penge61e7052022-01-27 14:57:06 +0800169 /* Check the handle address is valid */
Summer Qin1ce712a2019-10-14 18:04:05 +0800170 if (is_valid_chunk_data_in_pool(conn_handle_pool,
Ken Liuad3f3e62022-03-04 22:23:52 +0800171 (uint8_t *)handle) != true) {
Ken Liubcae38b2021-01-20 15:47:44 +0800172 return SPM_ERROR_GENERIC;
Summer Qin1ce712a2019-10-14 18:04:05 +0800173 }
174
Ken Liuad3f3e62022-03-04 22:23:52 +0800175 return PSA_SUCCESS;
Summer Qin1ce712a2019-10-14 18:04:05 +0800176}
177
Ken Liuad3f3e62022-03-04 22:23:52 +0800178void tfm_spm_free_conn_handle(struct conn_handle_t *conn_handle)
Edison Ai764d41f2018-09-21 15:56:36 +0800179{
Mingyang Sun620c8562021-11-10 11:44:58 +0800180 struct critical_section_t cs_assert = CRITICAL_SECTION_STATIC_INIT;
181
Summer Qin630c76b2020-05-20 10:32:58 +0800182 TFM_CORE_ASSERT(conn_handle != NULL);
Edison Ai764d41f2018-09-21 15:56:36 +0800183
Mingyang Sun620c8562021-11-10 11:44:58 +0800184 CRITICAL_SECTION_ENTER(cs_assert);
Edison Ai764d41f2018-09-21 15:56:36 +0800185 /* Back handle buffer to pool */
Ken Liu66ca6132021-02-24 08:49:51 +0800186 tfm_pool_free(conn_handle_pool, conn_handle);
Mingyang Sun620c8562021-11-10 11:44:58 +0800187 CRITICAL_SECTION_LEAVE(cs_assert);
Edison Ai764d41f2018-09-21 15:56:36 +0800188}
189
Edison Ai764d41f2018-09-21 15:56:36 +0800190/* Partition management functions */
Mingyang Sund44522a2020-01-16 16:48:37 +0800191
Mingyang Sun4609ac72022-02-08 18:56:35 +0800192/* This API is only used in IPC backend. */
193#if CONFIG_TFM_SPM_BACKEND_IPC == 1
Ken Liu0bed7e02022-02-10 12:38:07 +0800194struct conn_handle_t *spm_get_handle_by_signal(struct partition_t *p_ptn,
Ken Liu5a28da32022-01-19 14:37:05 +0800195 psa_signal_t signal)
Edison Ai764d41f2018-09-21 15:56:36 +0800196{
Mingyang Suna09adda2022-02-16 18:11:33 +0800197 struct conn_handle_t *p_handle_iter;
198 struct conn_handle_t **pr_handle_iter, **last_found_handle_holder = NULL;
Ken Liu92ede9f2021-10-20 09:35:00 +0800199 struct critical_section_t cs_assert = CRITICAL_SECTION_STATIC_INIT;
Ken Liu5a28da32022-01-19 14:37:05 +0800200 uint32_t nr_found_msgs = 0;
Edison Ai764d41f2018-09-21 15:56:36 +0800201
Mingyang Sun620c8562021-11-10 11:44:58 +0800202 CRITICAL_SECTION_ENTER(cs_assert);
Ken Liu5a28da32022-01-19 14:37:05 +0800203
204 /* Return the last found message which applies a FIFO mechanism. */
Mingyang Suna09adda2022-02-16 18:11:33 +0800205 UNI_LIST_FOREACH_NODE_PNODE(pr_handle_iter, p_handle_iter,
206 p_ptn, p_handles) {
207 if (p_handle_iter->service->p_ldinf->signal == signal) {
208 last_found_handle_holder = pr_handle_iter;
Ken Liu5a28da32022-01-19 14:37:05 +0800209 nr_found_msgs++;
Edison Ai764d41f2018-09-21 15:56:36 +0800210 }
211 }
Mingyang Sun73056b62020-07-03 15:18:46 +0800212
Mingyang Suna09adda2022-02-16 18:11:33 +0800213 if (last_found_handle_holder) {
214 p_handle_iter = *last_found_handle_holder;
215 UNI_LIST_REMOVE_NODE_BY_PNODE(last_found_handle_holder, p_handles);
Ken Liu5a28da32022-01-19 14:37:05 +0800216
Ken Liu5a28da32022-01-19 14:37:05 +0800217 if (nr_found_msgs == 1) {
218 p_ptn->signals_asserted &= ~signal;
219 }
220 }
221
Ken Liu92ede9f2021-10-20 09:35:00 +0800222 CRITICAL_SECTION_LEAVE(cs_assert);
Mingyang Sun73056b62020-07-03 15:18:46 +0800223
Mingyang Suna09adda2022-02-16 18:11:33 +0800224 return p_handle_iter;
Edison Ai764d41f2018-09-21 15:56:36 +0800225}
Mingyang Suna09adda2022-02-16 18:11:33 +0800226#endif /* CONFIG_TFM_SPM_BACKEND_IPC == 1 */
Edison Ai764d41f2018-09-21 15:56:36 +0800227
Mingyang Sun783a59b2021-04-20 15:52:18 +0800228struct service_t *tfm_spm_get_service_by_sid(uint32_t sid)
Edison Ai764d41f2018-09-21 15:56:36 +0800229{
Feder.Liangaeb5a792021-08-10 16:12:56 +0800230 struct service_t *p_prev, *p_curr;
Edison Ai764d41f2018-09-21 15:56:36 +0800231
Ken Liu5a28da32022-01-19 14:37:05 +0800232 UNI_LIST_FOREACH_NODE_PREV(p_prev, p_curr, &services_listhead, next) {
Feder.Liangaeb5a792021-08-10 16:12:56 +0800233 if (p_curr->p_ldinf->sid == sid) {
Ken Liu5a28da32022-01-19 14:37:05 +0800234 UNI_LIST_MOVE_AFTER(&services_listhead, p_prev, p_curr, next);
Feder.Liangaeb5a792021-08-10 16:12:56 +0800235 return p_curr;
Mingyang Sunef42f442021-06-11 15:07:58 +0800236 }
237 }
238
Ken Liuea45b0d2021-05-22 17:41:25 +0800239 return NULL;
Edison Ai764d41f2018-09-21 15:56:36 +0800240}
241
Kevin Peng613b4172022-02-15 14:41:44 +0800242#if CONFIG_TFM_DOORBELL_API == 1
Mingyang Sund44522a2020-01-16 16:48:37 +0800243/**
244 * \brief Get the partition context by partition ID.
245 *
246 * \param[in] partition_id Partition identity
247 *
248 * \retval NULL Failed
249 * \retval "Not NULL" Target partition context pointer,
Mingyang Sunae70d8d2020-06-30 15:56:05 +0800250 * \ref partition_t structures
Mingyang Sund44522a2020-01-16 16:48:37 +0800251 */
Kevin Pengeca45b92021-02-09 14:46:50 +0800252struct partition_t *tfm_spm_get_partition_by_id(int32_t partition_id)
Edison Ai764d41f2018-09-21 15:56:36 +0800253{
Ken Liuea45b0d2021-05-22 17:41:25 +0800254 struct partition_t *p_part;
Edison Ai764d41f2018-09-21 15:56:36 +0800255
Ken Liu5a28da32022-01-19 14:37:05 +0800256 UNI_LIST_FOREACH(p_part, PARTITION_LIST_ADDR, next) {
Ken Liuea45b0d2021-05-22 17:41:25 +0800257 if (p_part->p_ldinf->pid == partition_id) {
258 return p_part;
259 }
Edison Ai764d41f2018-09-21 15:56:36 +0800260 }
Ken Liuea45b0d2021-05-22 17:41:25 +0800261
Edison Ai764d41f2018-09-21 15:56:36 +0800262 return NULL;
263}
Kevin Peng613b4172022-02-15 14:41:44 +0800264#endif /* CONFIG_TFM_DOORBELL_API == 1 */
Edison Ai764d41f2018-09-21 15:56:36 +0800265
Mingyang Sun783a59b2021-04-20 15:52:18 +0800266int32_t tfm_spm_check_client_version(struct service_t *service,
Jaykumar Pitambarbhai Patel3a986022019-10-08 17:37:15 +0530267 uint32_t version)
Edison Ai764d41f2018-09-21 15:56:36 +0800268{
Ken Liuf250b8b2019-12-27 16:31:24 +0800269 TFM_CORE_ASSERT(service);
Edison Ai764d41f2018-09-21 15:56:36 +0800270
Ken Liuacd2a572021-05-12 16:19:04 +0800271 switch (SERVICE_GET_VERSION_POLICY(service->p_ldinf->flags)) {
Ken Liub3b2cb62021-05-22 00:39:28 +0800272 case SERVICE_VERSION_POLICY_RELAXED:
Ken Liuacd2a572021-05-12 16:19:04 +0800273 if (version > service->p_ldinf->version) {
Ken Liubcae38b2021-01-20 15:47:44 +0800274 return SPM_ERROR_VERSION;
Edison Ai764d41f2018-09-21 15:56:36 +0800275 }
276 break;
Ken Liub3b2cb62021-05-22 00:39:28 +0800277 case SERVICE_VERSION_POLICY_STRICT:
Ken Liuacd2a572021-05-12 16:19:04 +0800278 if (version != service->p_ldinf->version) {
Ken Liubcae38b2021-01-20 15:47:44 +0800279 return SPM_ERROR_VERSION;
Edison Ai764d41f2018-09-21 15:56:36 +0800280 }
281 break;
282 default:
Ken Liubcae38b2021-01-20 15:47:44 +0800283 return SPM_ERROR_VERSION;
Edison Ai764d41f2018-09-21 15:56:36 +0800284 }
Ken Liuad3f3e62022-03-04 22:23:52 +0800285 return PSA_SUCCESS;
Edison Ai764d41f2018-09-21 15:56:36 +0800286}
287
Edison Aie728fbf2019-11-13 09:37:12 +0800288int32_t tfm_spm_check_authorization(uint32_t sid,
Mingyang Sun783a59b2021-04-20 15:52:18 +0800289 struct service_t *service,
Summer Qin618e8c32019-12-09 10:47:20 +0800290 bool ns_caller)
Edison Aie728fbf2019-11-13 09:37:12 +0800291{
Mingyang Sunae70d8d2020-06-30 15:56:05 +0800292 struct partition_t *partition = NULL;
Mingyang Sun2b352662021-04-21 11:35:43 +0800293 uint32_t *dep;
Edison Aie728fbf2019-11-13 09:37:12 +0800294 int32_t i;
295
Ken Liuf250b8b2019-12-27 16:31:24 +0800296 TFM_CORE_ASSERT(service);
Edison Aie728fbf2019-11-13 09:37:12 +0800297
298 if (ns_caller) {
Ken Liuacd2a572021-05-12 16:19:04 +0800299 if (!SERVICE_IS_NS_ACCESSIBLE(service->p_ldinf->flags)) {
Ken Liubcae38b2021-01-20 15:47:44 +0800300 return SPM_ERROR_GENERIC;
Edison Aie728fbf2019-11-13 09:37:12 +0800301 }
302 } else {
Kevin Pengcdf3ae22022-01-19 14:53:52 +0800303 partition = GET_CURRENT_COMPONENT();
Edison Aie728fbf2019-11-13 09:37:12 +0800304 if (!partition) {
Edison Ai9059ea02019-11-28 13:46:14 +0800305 tfm_core_panic();
Edison Aie728fbf2019-11-13 09:37:12 +0800306 }
307
Ken Liuacd2a572021-05-12 16:19:04 +0800308 dep = (uint32_t *)LOAD_INFO_DEPS(partition->p_ldinf);
309 for (i = 0; i < partition->p_ldinf->ndeps; i++) {
Mingyang Sun2b352662021-04-21 11:35:43 +0800310 if (dep[i] == sid) {
Edison Aie728fbf2019-11-13 09:37:12 +0800311 break;
312 }
313 }
314
Ken Liuacd2a572021-05-12 16:19:04 +0800315 if (i == partition->p_ldinf->ndeps) {
Ken Liubcae38b2021-01-20 15:47:44 +0800316 return SPM_ERROR_GENERIC;
Edison Aie728fbf2019-11-13 09:37:12 +0800317 }
318 }
Ken Liuad3f3e62022-03-04 22:23:52 +0800319 return PSA_SUCCESS;
Edison Aie728fbf2019-11-13 09:37:12 +0800320}
321
Edison Ai764d41f2018-09-21 15:56:36 +0800322/* Message functions */
Summer Qin401cf812022-04-02 09:46:34 +0800323#if CONFIG_TFM_CONNECTION_BASED_SERVICE_API == 1
Kevin Penge61e7052022-01-27 14:57:06 +0800324struct conn_handle_t *spm_get_handle_by_client_handle(psa_handle_t handle,
325 int32_t client_id)
326{
327 struct conn_handle_t *p_conn_handle = tfm_spm_to_handle_instance(handle);
328
Ken Liuad3f3e62022-03-04 22:23:52 +0800329 if (tfm_spm_validate_conn_handle(p_conn_handle) != PSA_SUCCESS) {
Kevin Penge61e7052022-01-27 14:57:06 +0800330 return NULL;
331 }
332
333 /* Validate the caller id in the connection handle equals client_id. */
334 if (p_conn_handle->msg.client_id != client_id) {
335 return NULL;
336 }
337
338 return p_conn_handle;
339}
Summer Qin401cf812022-04-02 09:46:34 +0800340#endif
Kevin Penge61e7052022-01-27 14:57:06 +0800341
342struct conn_handle_t *spm_get_handle_by_msg_handle(psa_handle_t msg_handle)
Edison Ai764d41f2018-09-21 15:56:36 +0800343{
344 /*
Mate Toth-Pala4b5d242019-09-23 09:14:47 +0200345 * The message handler passed by the caller is considered invalid in the
346 * following cases:
347 * 1. Not a valid message handle. (The address of a message is not the
348 * address of a possible handle from the pool
349 * 2. Handle not belongs to the caller partition (The handle is either
Mingyang Suna09adda2022-02-16 18:11:33 +0800350 * unused, or owned by another partition)
Mate Toth-Pala4b5d242019-09-23 09:14:47 +0200351 * Check the conditions above
Edison Ai764d41f2018-09-21 15:56:36 +0800352 */
Kevin Pengeec41a82021-08-18 13:56:23 +0800353 int32_t partition_id;
Ken Liu0bed7e02022-02-10 12:38:07 +0800354 struct conn_handle_t *p_conn_handle =
Ken Liu5d73c872021-08-19 19:23:17 +0800355 tfm_spm_to_handle_instance(msg_handle);
Mate Toth-Pala4b5d242019-09-23 09:14:47 +0200356
Ken Liuad3f3e62022-03-04 22:23:52 +0800357 if (tfm_spm_validate_conn_handle(p_conn_handle) != PSA_SUCCESS) {
Edison Ai764d41f2018-09-21 15:56:36 +0800358 return NULL;
359 }
360
Mate Toth-Pala4b5d242019-09-23 09:14:47 +0200361 /* Check that the running partition owns the message */
Mingyang Sunf3d29892019-07-10 17:50:23 +0800362 partition_id = tfm_spm_partition_get_running_partition_id();
Ken Liu0bed7e02022-02-10 12:38:07 +0800363 if (partition_id != p_conn_handle->service->partition->p_ldinf->pid) {
Edison Ai764d41f2018-09-21 15:56:36 +0800364 return NULL;
365 }
366
Ken Liu0bed7e02022-02-10 12:38:07 +0800367 return p_conn_handle;
Edison Ai764d41f2018-09-21 15:56:36 +0800368}
369
Mingyang Suna09adda2022-02-16 18:11:33 +0800370void spm_fill_message(struct conn_handle_t *conn_handle,
Mingyang Sun783a59b2021-04-20 15:52:18 +0800371 struct service_t *service,
Ken Liu505b1702020-05-29 13:19:58 +0800372 psa_handle_t handle,
Summer Qin1ce712a2019-10-14 18:04:05 +0800373 int32_t type, int32_t client_id,
Edison Ai97115822019-08-01 14:22:19 +0800374 psa_invec *invec, size_t in_len,
375 psa_outvec *outvec, size_t out_len,
376 psa_outvec *caller_outvec)
377{
Edison Ai764d41f2018-09-21 15:56:36 +0800378 uint32_t i;
379
Mingyang Suna09adda2022-02-16 18:11:33 +0800380 TFM_CORE_ASSERT(conn_handle);
Ken Liuf250b8b2019-12-27 16:31:24 +0800381 TFM_CORE_ASSERT(service);
382 TFM_CORE_ASSERT(!(invec == NULL && in_len != 0));
383 TFM_CORE_ASSERT(!(outvec == NULL && out_len != 0));
384 TFM_CORE_ASSERT(in_len <= PSA_MAX_IOVEC);
385 TFM_CORE_ASSERT(out_len <= PSA_MAX_IOVEC);
386 TFM_CORE_ASSERT(in_len + out_len <= PSA_MAX_IOVEC);
Edison Ai764d41f2018-09-21 15:56:36 +0800387
Edison Ai764d41f2018-09-21 15:56:36 +0800388 /* Clear message buffer before using it */
Mingyang Suna09adda2022-02-16 18:11:33 +0800389 spm_memset(&conn_handle->msg, 0, sizeof(psa_msg_t));
Edison Ai764d41f2018-09-21 15:56:36 +0800390
Mingyang Suna09adda2022-02-16 18:11:33 +0800391 THRD_SYNC_INIT(&conn_handle->ack_evnt);
Mingyang Suna09adda2022-02-16 18:11:33 +0800392 conn_handle->service = service;
393 conn_handle->p_client = GET_CURRENT_COMPONENT();
394 conn_handle->caller_outvec = caller_outvec;
395 conn_handle->msg.client_id = client_id;
Edison Ai764d41f2018-09-21 15:56:36 +0800396
397 /* Copy contents */
Mingyang Suna09adda2022-02-16 18:11:33 +0800398 conn_handle->msg.type = type;
Edison Ai764d41f2018-09-21 15:56:36 +0800399
400 for (i = 0; i < in_len; i++) {
Mingyang Suna09adda2022-02-16 18:11:33 +0800401 conn_handle->msg.in_size[i] = invec[i].len;
402 conn_handle->invec[i].base = invec[i].base;
Edison Ai764d41f2018-09-21 15:56:36 +0800403 }
404
405 for (i = 0; i < out_len; i++) {
Mingyang Suna09adda2022-02-16 18:11:33 +0800406 conn_handle->msg.out_size[i] = outvec[i].len;
407 conn_handle->outvec[i].base = outvec[i].base;
Ken Liu0bed7e02022-02-10 12:38:07 +0800408 /* Out len is used to record the wrote number, set 0 here again */
Mingyang Suna09adda2022-02-16 18:11:33 +0800409 conn_handle->outvec[i].len = 0;
Edison Ai764d41f2018-09-21 15:56:36 +0800410 }
411
Ken Liu505b1702020-05-29 13:19:58 +0800412 /* Use the user connect handle as the message handle */
Mingyang Suna09adda2022-02-16 18:11:33 +0800413 conn_handle->msg.handle = handle;
414 conn_handle->msg.rhandle = conn_handle->rhandle;
David Hu46603dd2019-12-11 18:05:16 +0800415
416 /* Set the private data of NSPE client caller in multi-core topology */
417 if (TFM_CLIENT_ID_IS_NS(client_id)) {
Mingyang Suna09adda2022-02-16 18:11:33 +0800418 tfm_rpc_set_caller_data(conn_handle, client_id);
David Hu46603dd2019-12-11 18:05:16 +0800419 }
Edison Ai764d41f2018-09-21 15:56:36 +0800420}
421
Kevin Pengeec41a82021-08-18 13:56:23 +0800422int32_t tfm_spm_partition_get_running_partition_id(void)
Edison Ai764d41f2018-09-21 15:56:36 +0800423{
Mingyang Sunae70d8d2020-06-30 15:56:05 +0800424 struct partition_t *partition;
Edison Ai764d41f2018-09-21 15:56:36 +0800425
Kevin Pengcdf3ae22022-01-19 14:53:52 +0800426 partition = GET_CURRENT_COMPONENT();
Ken Liuacd2a572021-05-12 16:19:04 +0800427 if (partition && partition->p_ldinf) {
428 return partition->p_ldinf->pid;
Kevin Peng79c2bda2020-07-24 16:31:12 +0800429 } else {
430 return INVALID_PARTITION_ID;
431 }
Edison Ai764d41f2018-09-21 15:56:36 +0800432}
433
Ken Liuad3f3e62022-03-04 22:23:52 +0800434psa_status_t tfm_memory_check(const void *buffer, size_t len, bool ns_caller,
435 enum tfm_memory_access_e access,
436 uint32_t privileged)
Summer Qin2bfd2a02018-09-26 17:10:41 +0800437{
Mingyang Sund1ed6732020-08-26 15:52:21 +0800438 enum tfm_hal_status_t err;
439 uint32_t attr = 0;
Summer Qin2bfd2a02018-09-26 17:10:41 +0800440
441 /* If len is zero, this indicates an empty buffer and base is ignored */
442 if (len == 0) {
Ken Liuad3f3e62022-03-04 22:23:52 +0800443 return PSA_SUCCESS;
Summer Qin2bfd2a02018-09-26 17:10:41 +0800444 }
445
446 if (!buffer) {
Ken Liubcae38b2021-01-20 15:47:44 +0800447 return SPM_ERROR_BAD_PARAMETERS;
Summer Qin2bfd2a02018-09-26 17:10:41 +0800448 }
449
450 if ((uintptr_t)buffer > (UINTPTR_MAX - len)) {
Ken Liubcae38b2021-01-20 15:47:44 +0800451 return SPM_ERROR_MEMORY_CHECK;
Summer Qin2bfd2a02018-09-26 17:10:41 +0800452 }
453
Summer Qin424d4db2019-03-25 14:09:51 +0800454 if (access == TFM_MEMORY_ACCESS_RW) {
Mingyang Sund1ed6732020-08-26 15:52:21 +0800455 attr |= (TFM_HAL_ACCESS_READABLE | TFM_HAL_ACCESS_WRITABLE);
Summer Qin2bfd2a02018-09-26 17:10:41 +0800456 } else {
Mingyang Sund1ed6732020-08-26 15:52:21 +0800457 attr |= TFM_HAL_ACCESS_READABLE;
Summer Qin424d4db2019-03-25 14:09:51 +0800458 }
Mingyang Sund1ed6732020-08-26 15:52:21 +0800459
460 if (privileged == TFM_PARTITION_UNPRIVILEGED_MODE) {
461 attr |= TFM_HAL_ACCESS_UNPRIVILEGED;
462 } else {
463 attr &= ~TFM_HAL_ACCESS_UNPRIVILEGED;
464 }
465
466 if (ns_caller) {
467 attr |= TFM_HAL_ACCESS_NS;
468 }
469
470 err = tfm_hal_memory_has_access((uintptr_t)buffer, len, attr);
471
472 if (err == TFM_HAL_SUCCESS) {
Ken Liuad3f3e62022-03-04 22:23:52 +0800473 return PSA_SUCCESS;
Summer Qin2bfd2a02018-09-26 17:10:41 +0800474 }
475
Ken Liubcae38b2021-01-20 15:47:44 +0800476 return SPM_ERROR_MEMORY_CHECK;
Summer Qin2bfd2a02018-09-26 17:10:41 +0800477}
478
Mingyang Sun22a3faf2021-07-09 15:32:47 +0800479bool tfm_spm_is_ns_caller(void)
480{
Kevin Pengcdf3ae22022-01-19 14:53:52 +0800481 struct partition_t *partition = GET_CURRENT_COMPONENT();
Ken Liu897e8f12022-02-10 03:21:17 +0100482
483 if (!partition) {
484 tfm_core_panic();
485 }
486
487 return (partition->p_ldinf->pid == TFM_SP_NON_SECURE_ID);
Mingyang Sun22a3faf2021-07-09 15:32:47 +0800488}
489
Kevin Peng385fda82021-08-18 10:41:19 +0800490int32_t tfm_spm_get_client_id(bool ns_caller)
491{
492 int32_t client_id;
493
494 if (ns_caller) {
495 client_id = tfm_nspm_get_current_client_id();
496 } else {
497 client_id = tfm_spm_partition_get_running_partition_id();
498 }
499
500 if (ns_caller != (client_id < 0)) {
501 /* NS client ID must be negative and Secure ID must >= 0 */
502 tfm_core_panic();
503 }
504
505 return client_id;
506}
507
Ken Liuce2692d2020-02-11 12:39:36 +0800508uint32_t tfm_spm_init(void)
Edison Ai764d41f2018-09-21 15:56:36 +0800509{
Mingyang Sunae70d8d2020-06-30 15:56:05 +0800510 struct partition_t *partition;
Mingyang Sundeae45d2021-09-06 15:31:07 +0800511 const struct partition_load_info_t *p_pldi;
512 uint32_t service_setting = 0;
Ken Liuce58bfc2021-05-12 17:54:48 +0800513
David Huf07e97d2021-02-15 22:05:40 +0800514#ifdef TFM_FIH_PROFILE_ON
515 fih_int fih_rc = FIH_FAILURE;
516#endif
Edison Ai764d41f2018-09-21 15:56:36 +0800517
518 tfm_pool_init(conn_handle_pool,
519 POOL_BUFFER_SIZE(conn_handle_pool),
Ken Liu0bed7e02022-02-10 12:38:07 +0800520 sizeof(struct conn_handle_t),
Sherry Zhang86a71c62022-01-12 18:19:02 +0800521 CONFIG_TFM_CONN_HANDLE_MAX_NUM);
Edison Ai764d41f2018-09-21 15:56:36 +0800522
Ken Liu5a28da32022-01-19 14:37:05 +0800523 UNI_LISI_INIT_NODE(PARTITION_LIST_ADDR, next);
524 UNI_LISI_INIT_NODE(&services_listhead, next);
Ken Liuea45b0d2021-05-22 17:41:25 +0800525
Sherry Zhnag482b88b2021-08-19 17:51:47 +0800526 /* Init the nonsecure context. */
Chris Brand56b4d0c2021-12-17 16:15:58 -0800527 tfm_nspm_ctx_init();
Sherry Zhnag482b88b2021-08-19 17:51:47 +0800528
Ken Liuacd2a572021-05-12 16:19:04 +0800529 while (1) {
Mingyang Sundeae45d2021-09-06 15:31:07 +0800530 partition = load_a_partition_assuredly(PARTITION_LIST_ADDR);
Shawn Shan23331062021-09-01 14:58:21 +0800531 if (partition == NO_MORE_PARTITION) {
Ken Liuacd2a572021-05-12 16:19:04 +0800532 break;
Kevin Peng79c2bda2020-07-24 16:31:12 +0800533 }
534
Mingyang Sundeae45d2021-09-06 15:31:07 +0800535 p_pldi = partition->p_ldinf;
Mingyang Sun2b352662021-04-21 11:35:43 +0800536
Mingyang Sundeae45d2021-09-06 15:31:07 +0800537 if (p_pldi->nservices) {
538 service_setting = load_services_assuredly(
539 partition,
540 &services_listhead,
541 stateless_services_ref_tbl,
542 sizeof(stateless_services_ref_tbl));
Kevin Peng27e42272021-05-24 17:58:53 +0800543 }
544
Mingyang Sundeae45d2021-09-06 15:31:07 +0800545 if (p_pldi->nirqs) {
Kevin Peng27e42272021-05-24 17:58:53 +0800546 load_irqs_assuredly(partition);
547 }
548
Mingyang Sundeae45d2021-09-06 15:31:07 +0800549 /* Bind the partition with platform. */
Ken Liuce58bfc2021-05-12 17:54:48 +0800550#if TFM_FIH_PROFILE_ON
551 FIH_CALL(tfm_hal_bind_boundaries, fih_rc, partition->p_ldinf,
Mingyang Sundeae45d2021-09-06 15:31:07 +0800552 &partition->p_boundaries);
Ken Liuce58bfc2021-05-12 17:54:48 +0800553 if (fih_not_eq(fih_rc, fih_int_encode(TFM_HAL_SUCCESS))) {
554 tfm_core_panic();
Mingyang Sun61f8fbc2021-06-04 17:49:56 +0800555 }
Ken Liu86686282021-04-27 11:11:15 +0800556#else /* TFM_FIH_PROFILE_ON */
Ken Liuce58bfc2021-05-12 17:54:48 +0800557 if (tfm_hal_bind_boundaries(partition->p_ldinf,
Mingyang Sundeae45d2021-09-06 15:31:07 +0800558 &partition->p_boundaries)
559 != TFM_HAL_SUCCESS) {
Ken Liuce58bfc2021-05-12 17:54:48 +0800560 tfm_core_panic();
Mate Toth-Pal8ac98a72019-11-21 17:30:10 +0100561 }
Ken Liuce58bfc2021-05-12 17:54:48 +0800562#endif /* TFM_FIH_PROFILE_ON */
Mate Toth-Pal8ac98a72019-11-21 17:30:10 +0100563
Mingyang Sundeae45d2021-09-06 15:31:07 +0800564 backend_instance.comp_init_assuredly(partition, service_setting);
Edison Ai764d41f2018-09-21 15:56:36 +0800565 }
566
Summer Qin596f5552022-01-27 18:04:06 +0800567#if defined(CONFIG_TFM_PARTITION_META)
568 partition_meta_indicator_pos = (uintptr_t *)hal_mem_sp_meta_start;
569#endif
570
Mingyang Sundeae45d2021-09-06 15:31:07 +0800571 return backend_instance.system_run();
Edison Ai764d41f2018-09-21 15:56:36 +0800572}
Ken Liu2d175172019-03-21 17:08:41 +0800573
Ken Liu5d73c872021-08-19 19:23:17 +0800574uint64_t do_schedule(void)
575{
Ken Liu086b32c2021-12-27 14:44:52 +0800576 AAPCS_DUAL_U32_T ctx_ctrls;
Ken Liu5d73c872021-08-19 19:23:17 +0800577 struct partition_t *p_part_curr, *p_part_next;
Kevin Pengb20b0322022-02-09 16:47:19 +0800578 struct context_ctrl_t *p_curr_ctx;
Ken Liu5d73c872021-08-19 19:23:17 +0800579 struct thread_t *pth_next = thrd_next();
Kevin Pengca59ec02021-12-09 14:35:50 +0800580 struct critical_section_t cs = CRITICAL_SECTION_STATIC_INIT;
Ken Liu5d73c872021-08-19 19:23:17 +0800581
Kevin Pengb20b0322022-02-09 16:47:19 +0800582 p_curr_ctx = (struct context_ctrl_t *)(CURRENT_THREAD->p_context_ctrl);
Ken Liu086b32c2021-12-27 14:44:52 +0800583
Kevin Pengb20b0322022-02-09 16:47:19 +0800584 AAPCS_DUAL_U32_SET(ctx_ctrls, (uint32_t)p_curr_ctx, (uint32_t)p_curr_ctx);
585
586 p_part_curr = GET_CURRENT_COMPONENT();
Mingyang Sun4f08f4d2021-09-10 17:41:28 +0800587 p_part_next = GET_THRD_OWNER(pth_next);
Ken Liu5d73c872021-08-19 19:23:17 +0800588
Mingyang Sun620c8562021-11-10 11:44:58 +0800589 if (scheduler_lock != SCHEDULER_LOCKED && pth_next != NULL &&
590 p_part_curr != p_part_next) {
Ken Liu5d73c872021-08-19 19:23:17 +0800591 /* Check if there is enough room on stack to save more context */
Kevin Pengb20b0322022-02-09 16:47:19 +0800592 if ((p_curr_ctx->sp_limit +
593 sizeof(struct tfm_additional_context_t)) > __get_PSP()) {
Ken Liu5d73c872021-08-19 19:23:17 +0800594 tfm_core_panic();
595 }
Mate Toth-Palc430b992019-05-09 21:01:14 +0200596
Kevin Pengca59ec02021-12-09 14:35:50 +0800597 CRITICAL_SECTION_ENTER(cs);
Ken Liuce58bfc2021-05-12 17:54:48 +0800598 /*
599 * If required, let the platform update boundary based on its
600 * implementation. Change privilege, MPU or other configurations.
601 */
602 if (p_part_curr->p_boundaries != p_part_next->p_boundaries) {
603 if (tfm_hal_update_boundaries(p_part_next->p_ldinf,
604 p_part_next->p_boundaries)
605 != TFM_HAL_SUCCESS) {
606 tfm_core_panic();
607 }
608 }
Feder Liang42f5b562021-09-10 17:38:36 +0800609 ARCH_FLUSH_FP_CONTEXT();
Mingyang Sun620c8562021-11-10 11:44:58 +0800610
Ken Liu086b32c2021-12-27 14:44:52 +0800611 AAPCS_DUAL_U32_SET_A1(ctx_ctrls, (uint32_t)pth_next->p_context_ctrl);
612
Mingyang Sun620c8562021-11-10 11:44:58 +0800613 CURRENT_THREAD = pth_next;
Kevin Pengca59ec02021-12-09 14:35:50 +0800614 CRITICAL_SECTION_LEAVE(cs);
Ken Liu2d175172019-03-21 17:08:41 +0800615 }
David Hufb38d562019-09-23 15:58:34 +0800616
Summer Qin596f5552022-01-27 18:04:06 +0800617#if defined(CONFIG_TFM_PARTITION_META)
618 /* Update meta indicator */
619 if (partition_meta_indicator_pos && (p_part_next->p_metadata)) {
620 *partition_meta_indicator_pos = (uintptr_t)(p_part_next->p_metadata);
621 }
622#endif
623
Ken Liu086b32c2021-12-27 14:44:52 +0800624 return AAPCS_DUAL_U32_AS_U64(ctx_ctrls);
Ken Liu2d175172019-03-21 17:08:41 +0800625}
Mingyang Sund44522a2020-01-16 16:48:37 +0800626
Mingyang Suna09adda2022-02-16 18:11:33 +0800627void update_caller_outvec_len(struct conn_handle_t *handle)
Mingyang Sund44522a2020-01-16 16:48:37 +0800628{
629 uint32_t i;
630
631 /*
632 * FixeMe: abstract these part into dedicated functions to avoid
633 * accessing thread context in psa layer
634 */
Ken Liuf39d8eb2021-10-07 12:55:33 +0800635 /*
636 * If it is a NS request via RPC, the owner of this message is not set.
637 * Or if it is a SFN message, it does not have owner thread state either.
638 */
Mingyang Suna09adda2022-02-16 18:11:33 +0800639 if ((!is_tfm_rpc_msg(handle)) && (handle->sfn_magic != TFM_MSG_MAGIC_SFN)) {
640 TFM_CORE_ASSERT(handle->ack_evnt.owner->state == THRD_STATE_BLOCK);
Mingyang Sund44522a2020-01-16 16:48:37 +0800641 }
642
643 for (i = 0; i < PSA_MAX_IOVEC; i++) {
Mingyang Suna09adda2022-02-16 18:11:33 +0800644 if (handle->msg.out_size[i] == 0) {
Mingyang Sund44522a2020-01-16 16:48:37 +0800645 continue;
646 }
647
Mingyang Suna09adda2022-02-16 18:11:33 +0800648 TFM_CORE_ASSERT(
649 handle->caller_outvec[i].base == handle->outvec[i].base);
Mingyang Sund44522a2020-01-16 16:48:37 +0800650
Mingyang Suna09adda2022-02-16 18:11:33 +0800651 handle->caller_outvec[i].len = handle->outvec[i].len;
Mingyang Sund44522a2020-01-16 16:48:37 +0800652 }
653}
654
Ken Liu5d73c872021-08-19 19:23:17 +0800655void spm_assert_signal(void *p_pt, psa_signal_t signal)
Mingyang Sund44522a2020-01-16 16:48:37 +0800656{
Ken Liu92ede9f2021-10-20 09:35:00 +0800657 struct critical_section_t cs_assert = CRITICAL_SECTION_STATIC_INIT;
Ken Liu5d73c872021-08-19 19:23:17 +0800658 struct partition_t *partition = (struct partition_t *)p_pt;
Mingyang Sund44522a2020-01-16 16:48:37 +0800659
Mingyang Sund44522a2020-01-16 16:48:37 +0800660 if (!partition) {
661 tfm_core_panic();
662 }
663
Ken Liu92ede9f2021-10-20 09:35:00 +0800664 CRITICAL_SECTION_ENTER(cs_assert);
665
Mingyang Sunaf22ffa2020-07-09 17:48:37 +0800666 partition->signals_asserted |= signal;
Mingyang Sund44522a2020-01-16 16:48:37 +0800667
Kevin Peng8dac6102021-03-09 16:44:00 +0800668 if (partition->signals_waiting & signal) {
Mingyang Sun09328bd2022-03-25 11:55:13 +0800669 backend_instance.wake_up(partition);
Kevin Peng8dac6102021-03-09 16:44:00 +0800670 }
Ken Liu92ede9f2021-10-20 09:35:00 +0800671
672 CRITICAL_SECTION_LEAVE(cs_assert);
Mingyang Sund44522a2020-01-16 16:48:37 +0800673}