blob: c633256b719ff8b4a6d446b88c0abf21dbb0a87f [file] [log] [blame]
Edison Ai764d41f2018-09-21 15:56:36 +08001/*
Kevin Penga20b5af2021-01-11 11:20:52 +08002 * Copyright (c) 2018-2021, Arm Limited. All rights reserved.
Edison Ai764d41f2018-09-21 15:56:36 +08003 *
4 * SPDX-License-Identifier: BSD-3-Clause
5 *
6 */
Mingyang Sunda01a972019-07-12 17:32:59 +08007
Edison Ai764d41f2018-09-21 15:56:36 +08008#include <inttypes.h>
9#include <stdbool.h>
Ken Liu24dffb22021-02-10 11:03:58 +080010#include "bitops.h"
David Huf07e97d2021-02-15 22:05:40 +080011#include "fih.h"
Jamie Foxcc31d402019-01-28 17:13:52 +000012#include "psa/client.h"
13#include "psa/service.h"
Mingyang Sund44522a2020-01-16 16:48:37 +080014#include "tfm_thread.h"
Edison Ai764d41f2018-09-21 15:56:36 +080015#include "tfm_wait.h"
Ken Liubcae38b2021-01-20 15:47:44 +080016#include "internal_errors.h"
Mingyang Sund44522a2020-01-16 16:48:37 +080017#include "tfm_spm_hal.h"
Mingyang Sund44522a2020-01-16 16:48:37 +080018#include "tfm_api.h"
19#include "tfm_secure_api.h"
20#include "tfm_memory_utils.h"
Mingyang Sund1ed6732020-08-26 15:52:21 +080021#include "tfm_hal_defs.h"
22#include "tfm_hal_isolation.h"
Mingyang Sun7397b4f2020-06-17 15:07:45 +080023#include "spm_ipc.h"
Mingyang Sund44522a2020-01-16 16:48:37 +080024#include "tfm_peripherals_def.h"
Mingyang Sund44522a2020-01-16 16:48:37 +080025#include "tfm_core_utils.h"
Mingyang Sund44522a2020-01-16 16:48:37 +080026#include "tfm_rpc.h"
Mingyang Sund44522a2020-01-16 16:48:37 +080027#include "tfm_core_trustzone.h"
Ken Liu24dffb22021-02-10 11:03:58 +080028#include "lists.h"
Edison Ai764d41f2018-09-21 15:56:36 +080029#include "tfm_pools.h"
Mingyang Sun7397b4f2020-06-17 15:07:45 +080030#include "spm_partition_defs.h"
31#include "psa_manifest/pid.h"
Summer Qin5fdcf632020-06-22 16:49:24 +080032#include "tfm/tfm_spm_services.h"
Mingyang Sun00df2352021-04-15 15:46:08 +080033#include "load/partition_defs.h"
34#include "load/service_defs.h"
Ken Liu86686282021-04-27 11:11:15 +080035#include "load/asset_defs.h"
Ken Liuacd2a572021-05-12 16:19:04 +080036#include "load/spm_load_api.h"
Kevin Peng27e42272021-05-24 17:58:53 +080037#include "load/irq_defs.h"
Edison Ai764d41f2018-09-21 15:56:36 +080038
Ken Liuacd2a572021-05-12 16:19:04 +080039extern struct spm_partition_db_t g_spm_partition_db;
Ken Liub3b2cb62021-05-22 00:39:28 +080040static struct service_t *connection_services_listhead;
41struct service_t *stateless_services_ref_tbl[STATIC_HANDLE_NUM_LIMIT];
Summer Qind99509f2019-08-02 17:36:58 +080042
Edison Ai764d41f2018-09-21 15:56:36 +080043/* Pools */
44TFM_POOL_DECLARE(conn_handle_pool, sizeof(struct tfm_conn_handle_t),
45 TFM_CONN_HANDLE_MAX_NUM);
Edison Ai764d41f2018-09-21 15:56:36 +080046
Kevin Pengdc791882021-03-12 10:57:12 +080047void tfm_set_irq_signal(uint32_t partition_id, psa_signal_t signal,
48 uint32_t irq_line);
Mingyang Sund44522a2020-01-16 16:48:37 +080049
50#include "tfm_secure_irq_handlers_ipc.inc"
Edison Ai764d41f2018-09-21 15:56:36 +080051
Summer Qin373feb12020-03-27 15:35:33 +080052/*********************** Connection handle conversion APIs *******************/
53
Summer Qin373feb12020-03-27 15:35:33 +080054#define CONVERSION_FACTOR_BITOFFSET 3
55#define CONVERSION_FACTOR_VALUE (1 << CONVERSION_FACTOR_BITOFFSET)
56/* Set 32 as the maximum */
57#define CONVERSION_FACTOR_VALUE_MAX 0x20
58
59#if CONVERSION_FACTOR_VALUE > CONVERSION_FACTOR_VALUE_MAX
60#error "CONVERSION FACTOR OUT OF RANGE"
61#endif
62
63static uint32_t loop_index;
64
65/*
66 * A handle instance psa_handle_t allocated inside SPM is actually a memory
67 * address among the handle pool. Return this handle to the client directly
68 * exposes information of secure memory address. In this case, converting the
69 * handle into another value does not represent the memory address to avoid
70 * exposing secure memory directly to clients.
71 *
72 * This function converts the handle instance into another value by scaling the
73 * handle in pool offset, the converted value is named as a user handle.
74 *
75 * The formula:
76 * user_handle = (handle_instance - POOL_START) * CONVERSION_FACTOR_VALUE +
77 * CLIENT_HANDLE_VALUE_MIN + loop_index
78 * where:
79 * CONVERSION_FACTOR_VALUE = 1 << CONVERSION_FACTOR_BITOFFSET, and should not
80 * exceed CONVERSION_FACTOR_VALUE_MAX.
81 *
82 * handle_instance in RANGE[POOL_START, POOL_END]
83 * user_handle in RANGE[CLIENT_HANDLE_VALUE_MIN, 0x3FFFFFFF]
84 * loop_index in RANGE[0, CONVERSION_FACTOR_VALUE - 1]
85 *
86 * note:
87 * loop_index is used to promise same handle instance is converted into
88 * different user handles in short time.
89 */
Ken Liu505b1702020-05-29 13:19:58 +080090psa_handle_t tfm_spm_to_user_handle(struct tfm_conn_handle_t *handle_instance)
Summer Qin373feb12020-03-27 15:35:33 +080091{
92 psa_handle_t user_handle;
93
94 loop_index = (loop_index + 1) % CONVERSION_FACTOR_VALUE;
95 user_handle = (psa_handle_t)((((uintptr_t)handle_instance -
96 (uintptr_t)conn_handle_pool) << CONVERSION_FACTOR_BITOFFSET) +
97 CLIENT_HANDLE_VALUE_MIN + loop_index);
98
99 return user_handle;
100}
101
102/*
103 * This function converts a user handle into a corresponded handle instance.
104 * The converted value is validated before returning, an invalid handle instance
105 * is returned as NULL.
106 *
107 * The formula:
108 * handle_instance = ((user_handle - CLIENT_HANDLE_VALUE_MIN) /
109 * CONVERSION_FACTOR_VALUE) + POOL_START
110 * where:
111 * CONVERSION_FACTOR_VALUE = 1 << CONVERSION_FACTOR_BITOFFSET, and should not
112 * exceed CONVERSION_FACTOR_VALUE_MAX.
113 *
114 * handle_instance in RANGE[POOL_START, POOL_END]
115 * user_handle in RANGE[CLIENT_HANDLE_VALUE_MIN, 0x3FFFFFFF]
116 * loop_index in RANGE[0, CONVERSION_FACTOR_VALUE - 1]
117 */
118struct tfm_conn_handle_t *tfm_spm_to_handle_instance(psa_handle_t user_handle)
119{
120 struct tfm_conn_handle_t *handle_instance;
121
122 if (user_handle == PSA_NULL_HANDLE) {
123 return NULL;
124 }
125
126 handle_instance = (struct tfm_conn_handle_t *)((((uintptr_t)user_handle -
127 CLIENT_HANDLE_VALUE_MIN) >> CONVERSION_FACTOR_BITOFFSET) +
128 (uintptr_t)conn_handle_pool);
129
130 return handle_instance;
131}
132
Edison Ai764d41f2018-09-21 15:56:36 +0800133/* Service handle management functions */
Mingyang Sun783a59b2021-04-20 15:52:18 +0800134struct tfm_conn_handle_t *tfm_spm_create_conn_handle(struct service_t *service,
135 int32_t client_id)
Edison Ai764d41f2018-09-21 15:56:36 +0800136{
Edison Ai9cc26242019-08-06 11:28:04 +0800137 struct tfm_conn_handle_t *p_handle;
Edison Ai764d41f2018-09-21 15:56:36 +0800138
Ken Liuf250b8b2019-12-27 16:31:24 +0800139 TFM_CORE_ASSERT(service);
Edison Ai764d41f2018-09-21 15:56:36 +0800140
141 /* Get buffer for handle list structure from handle pool */
Edison Ai9cc26242019-08-06 11:28:04 +0800142 p_handle = (struct tfm_conn_handle_t *)tfm_pool_alloc(conn_handle_pool);
143 if (!p_handle) {
Summer Qin630c76b2020-05-20 10:32:58 +0800144 return NULL;
Edison Ai764d41f2018-09-21 15:56:36 +0800145 }
146
Edison Ai9cc26242019-08-06 11:28:04 +0800147 p_handle->service = service;
Shawn Shancc39fcb2019-11-13 15:38:16 +0800148 p_handle->status = TFM_HANDLE_STATUS_IDLE;
Summer Qin1ce712a2019-10-14 18:04:05 +0800149 p_handle->client_id = client_id;
Edison Ai764d41f2018-09-21 15:56:36 +0800150
151 /* Add handle node to list for next psa functions */
Ken Liu2c47f7f2021-01-22 11:06:04 +0800152 BI_LIST_INSERT_BEFORE(&service->handle_list, &p_handle->list);
Edison Ai764d41f2018-09-21 15:56:36 +0800153
Summer Qin630c76b2020-05-20 10:32:58 +0800154 return p_handle;
Edison Ai764d41f2018-09-21 15:56:36 +0800155}
156
Summer Qin630c76b2020-05-20 10:32:58 +0800157int32_t tfm_spm_validate_conn_handle(
158 const struct tfm_conn_handle_t *conn_handle,
159 int32_t client_id)
Summer Qin1ce712a2019-10-14 18:04:05 +0800160{
161 /* Check the handle address is validated */
162 if (is_valid_chunk_data_in_pool(conn_handle_pool,
163 (uint8_t *)conn_handle) != true) {
Ken Liubcae38b2021-01-20 15:47:44 +0800164 return SPM_ERROR_GENERIC;
Summer Qin1ce712a2019-10-14 18:04:05 +0800165 }
166
167 /* Check the handle caller is correct */
Summer Qin630c76b2020-05-20 10:32:58 +0800168 if (conn_handle->client_id != client_id) {
Ken Liubcae38b2021-01-20 15:47:44 +0800169 return SPM_ERROR_GENERIC;
Summer Qin1ce712a2019-10-14 18:04:05 +0800170 }
171
Ken Liubcae38b2021-01-20 15:47:44 +0800172 return SPM_SUCCESS;
Summer Qin1ce712a2019-10-14 18:04:05 +0800173}
174
Mingyang Sun783a59b2021-04-20 15:52:18 +0800175int32_t tfm_spm_free_conn_handle(struct service_t *service,
Summer Qin02f7f072020-08-24 16:02:54 +0800176 struct tfm_conn_handle_t *conn_handle)
Edison Ai764d41f2018-09-21 15:56:36 +0800177{
Ken Liuf250b8b2019-12-27 16:31:24 +0800178 TFM_CORE_ASSERT(service);
Summer Qin630c76b2020-05-20 10:32:58 +0800179 TFM_CORE_ASSERT(conn_handle != NULL);
Edison Ai764d41f2018-09-21 15:56:36 +0800180
Mate Toth-Pala4b5d242019-09-23 09:14:47 +0200181 /* Clear magic as the handler is not used anymore */
Summer Qin630c76b2020-05-20 10:32:58 +0800182 conn_handle->internal_msg.magic = 0;
Mate Toth-Pala4b5d242019-09-23 09:14:47 +0200183
Edison Ai764d41f2018-09-21 15:56:36 +0800184 /* Remove node from handle list */
Ken Liu2c47f7f2021-01-22 11:06:04 +0800185 BI_LIST_REMOVE_NODE(&conn_handle->list);
Edison Ai764d41f2018-09-21 15:56:36 +0800186
187 /* Back handle buffer to pool */
Ken Liu66ca6132021-02-24 08:49:51 +0800188 tfm_pool_free(conn_handle_pool, conn_handle);
Ken Liubcae38b2021-01-20 15:47:44 +0800189 return SPM_SUCCESS;
Edison Ai764d41f2018-09-21 15:56:36 +0800190}
191
Mingyang Sun783a59b2021-04-20 15:52:18 +0800192int32_t tfm_spm_set_rhandle(struct service_t *service,
Summer Qin02f7f072020-08-24 16:02:54 +0800193 struct tfm_conn_handle_t *conn_handle,
194 void *rhandle)
Edison Ai764d41f2018-09-21 15:56:36 +0800195{
Ken Liuf250b8b2019-12-27 16:31:24 +0800196 TFM_CORE_ASSERT(service);
Edison Ai764d41f2018-09-21 15:56:36 +0800197 /* Set reverse handle value only be allowed for a connected handle */
Summer Qin630c76b2020-05-20 10:32:58 +0800198 TFM_CORE_ASSERT(conn_handle != NULL);
Edison Ai764d41f2018-09-21 15:56:36 +0800199
Summer Qin630c76b2020-05-20 10:32:58 +0800200 conn_handle->rhandle = rhandle;
Ken Liubcae38b2021-01-20 15:47:44 +0800201 return SPM_SUCCESS;
Edison Ai764d41f2018-09-21 15:56:36 +0800202}
203
Mingyang Sund44522a2020-01-16 16:48:37 +0800204/**
Xinyu Zhang3a453242021-04-16 17:57:09 +0800205 * \brief Get reverse handle value from connection handle.
Mingyang Sund44522a2020-01-16 16:48:37 +0800206 *
207 * \param[in] service Target service context pointer
208 * \param[in] conn_handle Connection handle created by
Summer Qin630c76b2020-05-20 10:32:58 +0800209 * tfm_spm_create_conn_handle()
Mingyang Sund44522a2020-01-16 16:48:37 +0800210 *
211 * \retval void * Success
212 * \retval "Does not return" Panic for those:
213 * service pointer are NULL
Xinyu Zhang3a453242021-04-16 17:57:09 +0800214 * handle is \ref PSA_NULL_HANDLE
Mingyang Sund44522a2020-01-16 16:48:37 +0800215 * handle node does not be found
216 */
Mingyang Sun783a59b2021-04-20 15:52:18 +0800217static void *tfm_spm_get_rhandle(struct service_t *service,
Summer Qin630c76b2020-05-20 10:32:58 +0800218 struct tfm_conn_handle_t *conn_handle)
Edison Ai764d41f2018-09-21 15:56:36 +0800219{
Ken Liuf250b8b2019-12-27 16:31:24 +0800220 TFM_CORE_ASSERT(service);
Edison Ai764d41f2018-09-21 15:56:36 +0800221 /* Get reverse handle value only be allowed for a connected handle */
Summer Qin630c76b2020-05-20 10:32:58 +0800222 TFM_CORE_ASSERT(conn_handle != NULL);
Edison Ai764d41f2018-09-21 15:56:36 +0800223
Summer Qin630c76b2020-05-20 10:32:58 +0800224 return conn_handle->rhandle;
Edison Ai764d41f2018-09-21 15:56:36 +0800225}
226
227/* Partition management functions */
Mingyang Sund44522a2020-01-16 16:48:37 +0800228
Summer Qin02f7f072020-08-24 16:02:54 +0800229struct tfm_msg_body_t *tfm_spm_get_msg_by_signal(struct partition_t *partition,
230 psa_signal_t signal)
Edison Ai764d41f2018-09-21 15:56:36 +0800231{
Ken Liu2c47f7f2021-01-22 11:06:04 +0800232 struct bi_list_node_t *node, *head;
Mingyang Sun73056b62020-07-03 15:18:46 +0800233 struct tfm_msg_body_t *tmp_msg, *msg = NULL;
Edison Ai764d41f2018-09-21 15:56:36 +0800234
Ken Liuf250b8b2019-12-27 16:31:24 +0800235 TFM_CORE_ASSERT(partition);
Edison Ai764d41f2018-09-21 15:56:36 +0800236
Mingyang Sunaf22ffa2020-07-09 17:48:37 +0800237 head = &partition->msg_list;
Mingyang Sun73056b62020-07-03 15:18:46 +0800238
Ken Liu2c47f7f2021-01-22 11:06:04 +0800239 if (BI_LIST_IS_EMPTY(head)) {
Mingyang Sun73056b62020-07-03 15:18:46 +0800240 return NULL;
Edison Ai764d41f2018-09-21 15:56:36 +0800241 }
242
Mingyang Sun73056b62020-07-03 15:18:46 +0800243 /*
244 * There may be multiple messages for this RoT Service signal, do not clear
245 * partition mask until no remaining message. Search may be optimized.
246 */
Ken Liu2c47f7f2021-01-22 11:06:04 +0800247 BI_LIST_FOR_EACH(node, head) {
Ken Liuc25558c2021-05-20 15:31:28 +0800248 tmp_msg = TO_CONTAINER(node, struct tfm_msg_body_t, msg_node);
Ken Liuacd2a572021-05-12 16:19:04 +0800249 if (tmp_msg->service->p_ldinf->signal == signal && msg) {
Mingyang Sun73056b62020-07-03 15:18:46 +0800250 return msg;
Ken Liuacd2a572021-05-12 16:19:04 +0800251 } else if (tmp_msg->service->p_ldinf->signal == signal) {
Mingyang Sun73056b62020-07-03 15:18:46 +0800252 msg = tmp_msg;
Ken Liu2c47f7f2021-01-22 11:06:04 +0800253 BI_LIST_REMOVE_NODE(node);
Edison Ai764d41f2018-09-21 15:56:36 +0800254 }
255 }
Mingyang Sun73056b62020-07-03 15:18:46 +0800256
Mingyang Sunaf22ffa2020-07-09 17:48:37 +0800257 partition->signals_asserted &= ~signal;
Mingyang Sun73056b62020-07-03 15:18:46 +0800258
259 return msg;
Edison Ai764d41f2018-09-21 15:56:36 +0800260}
261
Mingyang Sunda30f1e2020-07-13 17:20:32 +0800262/**
263 * \brief Returns the index of the partition with the given partition ID.
264 *
265 * \param[in] partition_id Partition id
266 *
267 * \return the partition idx if partition_id is valid,
268 * \ref SPM_INVALID_PARTITION_IDX othervise
269 */
270static uint32_t get_partition_idx(uint32_t partition_id)
271{
272 uint32_t i;
273
274 if (partition_id == INVALID_PARTITION_ID) {
275 return SPM_INVALID_PARTITION_IDX;
276 }
277
278 for (i = 0; i < g_spm_partition_db.partition_count; ++i) {
Ken Liuacd2a572021-05-12 16:19:04 +0800279 if (g_spm_partition_db.partitions[i].p_ldinf->pid == partition_id) {
Mingyang Sunda30f1e2020-07-13 17:20:32 +0800280 return i;
281 }
282 }
283 return SPM_INVALID_PARTITION_IDX;
284}
285
Mingyang Sunda30f1e2020-07-13 17:20:32 +0800286#if TFM_LVL != 1
287/**
288 * \brief Change the privilege mode for partition thread mode.
289 *
290 * \param[in] privileged Privileged mode,
291 * \ref TFM_PARTITION_PRIVILEGED_MODE
292 * and \ref TFM_PARTITION_UNPRIVILEGED_MODE
293 *
294 * \note Barrier instructions are not called by this function, and if
295 * it is called in thread mode, it might be necessary to call
296 * them after this function returns.
297 */
298static void tfm_spm_partition_change_privilege(uint32_t privileged)
299{
300 CONTROL_Type ctrl;
301
302 ctrl.w = __get_CONTROL();
303
304 if (privileged == TFM_PARTITION_PRIVILEGED_MODE) {
305 ctrl.b.nPRIV = 0;
306 } else {
307 ctrl.b.nPRIV = 1;
308 }
309
310 __set_CONTROL(ctrl.w);
311}
312#endif /* if(TFM_LVL != 1) */
313
Mingyang Sunda30f1e2020-07-13 17:20:32 +0800314uint32_t tfm_spm_partition_get_privileged_mode(uint32_t partition_flags)
315{
316 if (partition_flags & SPM_PART_FLAG_PSA_ROT) {
317 return TFM_PARTITION_PRIVILEGED_MODE;
318 } else {
319 return TFM_PARTITION_UNPRIVILEGED_MODE;
320 }
321}
322
Mingyang Sun783a59b2021-04-20 15:52:18 +0800323struct service_t *tfm_spm_get_service_by_sid(uint32_t sid)
Edison Ai764d41f2018-09-21 15:56:36 +0800324{
Mingyang Sunef42f442021-06-11 15:07:58 +0800325 uint32_t i = 0;
Ken Liub3b2cb62021-05-22 00:39:28 +0800326 struct service_t *p_serv = connection_services_listhead;
Edison Ai764d41f2018-09-21 15:56:36 +0800327
Mingyang Sunef42f442021-06-11 15:07:58 +0800328 for (i = 0; i < STATIC_HANDLE_NUM_LIMIT; i++) {
329 if (stateless_services_ref_tbl[i]->p_ldinf->sid == sid) {
330 return stateless_services_ref_tbl[i];
331 }
332 }
333
Ken Liuacd2a572021-05-12 16:19:04 +0800334 while (p_serv && p_serv->p_ldinf->sid != sid) {
335 p_serv = TO_CONTAINER(BI_LIST_NEXT_NODE(&p_serv->list),
336 struct service_t, list);
Ken Liub3b2cb62021-05-22 00:39:28 +0800337 if (p_serv == connection_services_listhead)
Ken Liuacd2a572021-05-12 16:19:04 +0800338 return NULL;
Edison Ai764d41f2018-09-21 15:56:36 +0800339 }
Summer Qin2fca1c82020-03-20 14:37:55 +0800340
Ken Liuacd2a572021-05-12 16:19:04 +0800341 return p_serv;
Edison Ai764d41f2018-09-21 15:56:36 +0800342}
343
Mingyang Sund44522a2020-01-16 16:48:37 +0800344/**
345 * \brief Get the partition context by partition ID.
346 *
347 * \param[in] partition_id Partition identity
348 *
349 * \retval NULL Failed
350 * \retval "Not NULL" Target partition context pointer,
Mingyang Sunae70d8d2020-06-30 15:56:05 +0800351 * \ref partition_t structures
Mingyang Sund44522a2020-01-16 16:48:37 +0800352 */
Mingyang Sunae70d8d2020-06-30 15:56:05 +0800353static struct partition_t *tfm_spm_get_partition_by_id(int32_t partition_id)
Edison Ai764d41f2018-09-21 15:56:36 +0800354{
Mingyang Sun5e13aa72019-07-10 10:30:16 +0800355 uint32_t idx = get_partition_idx(partition_id);
Edison Ai764d41f2018-09-21 15:56:36 +0800356
Mingyang Sun5e13aa72019-07-10 10:30:16 +0800357 if (idx != SPM_INVALID_PARTITION_IDX) {
358 return &(g_spm_partition_db.partitions[idx]);
Edison Ai764d41f2018-09-21 15:56:36 +0800359 }
360 return NULL;
361}
362
Mingyang Sunae70d8d2020-06-30 15:56:05 +0800363struct partition_t *tfm_spm_get_running_partition(void)
Edison Ai764d41f2018-09-21 15:56:36 +0800364{
Kevin Peng82fbca52021-03-09 13:48:48 +0800365 struct tfm_core_thread_t *pth = tfm_core_thrd_get_curr();
Mingyang Sunae70d8d2020-06-30 15:56:05 +0800366 struct partition_t *partition;
Edison Ai764d41f2018-09-21 15:56:36 +0800367
Ken Liuc25558c2021-05-20 15:31:28 +0800368 partition = TO_CONTAINER(pth, struct partition_t, sp_thread);
Mingyang Sunaf22ffa2020-07-09 17:48:37 +0800369
Kevin Peng79c2bda2020-07-24 16:31:12 +0800370 return partition;
Edison Ai764d41f2018-09-21 15:56:36 +0800371}
372
Mingyang Sun783a59b2021-04-20 15:52:18 +0800373int32_t tfm_spm_check_client_version(struct service_t *service,
Jaykumar Pitambarbhai Patel3a986022019-10-08 17:37:15 +0530374 uint32_t version)
Edison Ai764d41f2018-09-21 15:56:36 +0800375{
Ken Liuf250b8b2019-12-27 16:31:24 +0800376 TFM_CORE_ASSERT(service);
Edison Ai764d41f2018-09-21 15:56:36 +0800377
Ken Liuacd2a572021-05-12 16:19:04 +0800378 switch (SERVICE_GET_VERSION_POLICY(service->p_ldinf->flags)) {
Ken Liub3b2cb62021-05-22 00:39:28 +0800379 case SERVICE_VERSION_POLICY_RELAXED:
Ken Liuacd2a572021-05-12 16:19:04 +0800380 if (version > service->p_ldinf->version) {
Ken Liubcae38b2021-01-20 15:47:44 +0800381 return SPM_ERROR_VERSION;
Edison Ai764d41f2018-09-21 15:56:36 +0800382 }
383 break;
Ken Liub3b2cb62021-05-22 00:39:28 +0800384 case SERVICE_VERSION_POLICY_STRICT:
Ken Liuacd2a572021-05-12 16:19:04 +0800385 if (version != service->p_ldinf->version) {
Ken Liubcae38b2021-01-20 15:47:44 +0800386 return SPM_ERROR_VERSION;
Edison Ai764d41f2018-09-21 15:56:36 +0800387 }
388 break;
389 default:
Ken Liubcae38b2021-01-20 15:47:44 +0800390 return SPM_ERROR_VERSION;
Edison Ai764d41f2018-09-21 15:56:36 +0800391 }
Ken Liubcae38b2021-01-20 15:47:44 +0800392 return SPM_SUCCESS;
Edison Ai764d41f2018-09-21 15:56:36 +0800393}
394
Edison Aie728fbf2019-11-13 09:37:12 +0800395int32_t tfm_spm_check_authorization(uint32_t sid,
Mingyang Sun783a59b2021-04-20 15:52:18 +0800396 struct service_t *service,
Summer Qin618e8c32019-12-09 10:47:20 +0800397 bool ns_caller)
Edison Aie728fbf2019-11-13 09:37:12 +0800398{
Mingyang Sunae70d8d2020-06-30 15:56:05 +0800399 struct partition_t *partition = NULL;
Mingyang Sun2b352662021-04-21 11:35:43 +0800400 uint32_t *dep;
Edison Aie728fbf2019-11-13 09:37:12 +0800401 int32_t i;
402
Ken Liuf250b8b2019-12-27 16:31:24 +0800403 TFM_CORE_ASSERT(service);
Edison Aie728fbf2019-11-13 09:37:12 +0800404
405 if (ns_caller) {
Ken Liuacd2a572021-05-12 16:19:04 +0800406 if (!SERVICE_IS_NS_ACCESSIBLE(service->p_ldinf->flags)) {
Ken Liubcae38b2021-01-20 15:47:44 +0800407 return SPM_ERROR_GENERIC;
Edison Aie728fbf2019-11-13 09:37:12 +0800408 }
409 } else {
410 partition = tfm_spm_get_running_partition();
411 if (!partition) {
Edison Ai9059ea02019-11-28 13:46:14 +0800412 tfm_core_panic();
Edison Aie728fbf2019-11-13 09:37:12 +0800413 }
414
Ken Liuacd2a572021-05-12 16:19:04 +0800415 dep = (uint32_t *)LOAD_INFO_DEPS(partition->p_ldinf);
416 for (i = 0; i < partition->p_ldinf->ndeps; i++) {
Mingyang Sun2b352662021-04-21 11:35:43 +0800417 if (dep[i] == sid) {
Edison Aie728fbf2019-11-13 09:37:12 +0800418 break;
419 }
420 }
421
Ken Liuacd2a572021-05-12 16:19:04 +0800422 if (i == partition->p_ldinf->ndeps) {
Ken Liubcae38b2021-01-20 15:47:44 +0800423 return SPM_ERROR_GENERIC;
Edison Aie728fbf2019-11-13 09:37:12 +0800424 }
425 }
Ken Liubcae38b2021-01-20 15:47:44 +0800426 return SPM_SUCCESS;
Edison Aie728fbf2019-11-13 09:37:12 +0800427}
428
Edison Ai764d41f2018-09-21 15:56:36 +0800429/* Message functions */
Mingyang Sund44522a2020-01-16 16:48:37 +0800430
Summer Qin02f7f072020-08-24 16:02:54 +0800431struct tfm_msg_body_t *tfm_spm_get_msg_from_handle(psa_handle_t msg_handle)
Edison Ai764d41f2018-09-21 15:56:36 +0800432{
433 /*
Mate Toth-Pala4b5d242019-09-23 09:14:47 +0200434 * The message handler passed by the caller is considered invalid in the
435 * following cases:
436 * 1. Not a valid message handle. (The address of a message is not the
437 * address of a possible handle from the pool
438 * 2. Handle not belongs to the caller partition (The handle is either
439 * unused, or owned by anither partition)
440 * Check the conditions above
Edison Ai764d41f2018-09-21 15:56:36 +0800441 */
Ken Liu505b1702020-05-29 13:19:58 +0800442 struct tfm_msg_body_t *p_msg;
Edison Ai764d41f2018-09-21 15:56:36 +0800443 uint32_t partition_id;
Ken Liu505b1702020-05-29 13:19:58 +0800444 struct tfm_conn_handle_t *p_conn_handle =
445 tfm_spm_to_handle_instance(msg_handle);
Mate Toth-Pala4b5d242019-09-23 09:14:47 +0200446
447 if (is_valid_chunk_data_in_pool(
Ken Liu505b1702020-05-29 13:19:58 +0800448 conn_handle_pool, (uint8_t *)p_conn_handle) != 1) {
Edison Ai764d41f2018-09-21 15:56:36 +0800449 return NULL;
450 }
451
Ken Liu505b1702020-05-29 13:19:58 +0800452 p_msg = &p_conn_handle->internal_msg;
453
Edison Ai764d41f2018-09-21 15:56:36 +0800454 /*
Mate Toth-Pala4b5d242019-09-23 09:14:47 +0200455 * Check that the magic number is correct. This proves that the message
456 * structure contains an active message.
Edison Ai764d41f2018-09-21 15:56:36 +0800457 */
Ken Liu505b1702020-05-29 13:19:58 +0800458 if (p_msg->magic != TFM_MSG_MAGIC) {
Edison Ai764d41f2018-09-21 15:56:36 +0800459 return NULL;
460 }
461
Mate Toth-Pala4b5d242019-09-23 09:14:47 +0200462 /* Check that the running partition owns the message */
Mingyang Sunf3d29892019-07-10 17:50:23 +0800463 partition_id = tfm_spm_partition_get_running_partition_id();
Ken Liuacd2a572021-05-12 16:19:04 +0800464 if (partition_id != p_msg->service->partition->p_ldinf->pid) {
Edison Ai764d41f2018-09-21 15:56:36 +0800465 return NULL;
466 }
467
Ken Liu505b1702020-05-29 13:19:58 +0800468 return p_msg;
Edison Ai764d41f2018-09-21 15:56:36 +0800469}
470
Kevin Pengdf6aa292021-03-11 17:58:50 +0800471struct tfm_msg_body_t *
472 tfm_spm_get_msg_buffer_from_conn_handle(struct tfm_conn_handle_t *conn_handle)
473{
474 TFM_CORE_ASSERT(conn_handle != NULL);
475
476 return &(conn_handle->internal_msg);
477}
478
Edison Ai97115822019-08-01 14:22:19 +0800479void tfm_spm_fill_msg(struct tfm_msg_body_t *msg,
Mingyang Sun783a59b2021-04-20 15:52:18 +0800480 struct service_t *service,
Ken Liu505b1702020-05-29 13:19:58 +0800481 psa_handle_t handle,
Summer Qin1ce712a2019-10-14 18:04:05 +0800482 int32_t type, int32_t client_id,
Edison Ai97115822019-08-01 14:22:19 +0800483 psa_invec *invec, size_t in_len,
484 psa_outvec *outvec, size_t out_len,
485 psa_outvec *caller_outvec)
486{
Edison Ai764d41f2018-09-21 15:56:36 +0800487 uint32_t i;
Ken Liu505b1702020-05-29 13:19:58 +0800488 struct tfm_conn_handle_t *conn_handle;
Edison Ai764d41f2018-09-21 15:56:36 +0800489
Ken Liuf250b8b2019-12-27 16:31:24 +0800490 TFM_CORE_ASSERT(msg);
491 TFM_CORE_ASSERT(service);
492 TFM_CORE_ASSERT(!(invec == NULL && in_len != 0));
493 TFM_CORE_ASSERT(!(outvec == NULL && out_len != 0));
494 TFM_CORE_ASSERT(in_len <= PSA_MAX_IOVEC);
495 TFM_CORE_ASSERT(out_len <= PSA_MAX_IOVEC);
496 TFM_CORE_ASSERT(in_len + out_len <= PSA_MAX_IOVEC);
Edison Ai764d41f2018-09-21 15:56:36 +0800497
Edison Ai764d41f2018-09-21 15:56:36 +0800498 /* Clear message buffer before using it */
Summer Qinf24dbb52020-07-23 14:53:54 +0800499 spm_memset(msg, 0, sizeof(struct tfm_msg_body_t));
Edison Ai764d41f2018-09-21 15:56:36 +0800500
Ken Liu35f89392019-03-14 14:51:05 +0800501 tfm_event_init(&msg->ack_evnt);
Edison Ai764d41f2018-09-21 15:56:36 +0800502 msg->magic = TFM_MSG_MAGIC;
503 msg->service = service;
Edison Ai764d41f2018-09-21 15:56:36 +0800504 msg->caller_outvec = caller_outvec;
Summer Qin1ce712a2019-10-14 18:04:05 +0800505 msg->msg.client_id = client_id;
Edison Ai764d41f2018-09-21 15:56:36 +0800506
507 /* Copy contents */
508 msg->msg.type = type;
509
510 for (i = 0; i < in_len; i++) {
511 msg->msg.in_size[i] = invec[i].len;
512 msg->invec[i].base = invec[i].base;
513 }
514
515 for (i = 0; i < out_len; i++) {
516 msg->msg.out_size[i] = outvec[i].len;
517 msg->outvec[i].base = outvec[i].base;
518 /* Out len is used to record the writed number, set 0 here again */
519 msg->outvec[i].len = 0;
520 }
521
Ken Liu505b1702020-05-29 13:19:58 +0800522 /* Use the user connect handle as the message handle */
523 msg->msg.handle = handle;
Edison Ai764d41f2018-09-21 15:56:36 +0800524
Ken Liu505b1702020-05-29 13:19:58 +0800525 conn_handle = tfm_spm_to_handle_instance(handle);
Edison Ai764d41f2018-09-21 15:56:36 +0800526 /* For connected handle, set rhandle to every message */
Ken Liu505b1702020-05-29 13:19:58 +0800527 if (conn_handle) {
528 msg->msg.rhandle = tfm_spm_get_rhandle(service, conn_handle);
Edison Ai764d41f2018-09-21 15:56:36 +0800529 }
David Hu46603dd2019-12-11 18:05:16 +0800530
531 /* Set the private data of NSPE client caller in multi-core topology */
532 if (TFM_CLIENT_ID_IS_NS(client_id)) {
533 tfm_rpc_set_caller_data(msg, client_id);
534 }
Edison Ai764d41f2018-09-21 15:56:36 +0800535}
536
Mingyang Sun783a59b2021-04-20 15:52:18 +0800537void tfm_spm_send_event(struct service_t *service,
Kevin Peng8dac6102021-03-09 16:44:00 +0800538 struct tfm_msg_body_t *msg)
Edison Ai764d41f2018-09-21 15:56:36 +0800539{
Kevin Peng8dac6102021-03-09 16:44:00 +0800540 struct partition_t *partition = NULL;
541 psa_signal_t signal = 0;
Mingyang Sun5e13aa72019-07-10 10:30:16 +0800542
Ken Liuacd2a572021-05-12 16:19:04 +0800543 if (!msg || !service || !service->p_ldinf || !service->partition) {
Kevin Peng8dac6102021-03-09 16:44:00 +0800544 tfm_core_panic();
545 }
546
547 partition = service->partition;
Ken Liuacd2a572021-05-12 16:19:04 +0800548 signal = service->p_ldinf->signal;
Edison Ai764d41f2018-09-21 15:56:36 +0800549
Mingyang Sun73056b62020-07-03 15:18:46 +0800550 /* Add message to partition message list tail */
Ken Liu2c47f7f2021-01-22 11:06:04 +0800551 BI_LIST_INSERT_BEFORE(&partition->msg_list, &msg->msg_node);
Edison Ai764d41f2018-09-21 15:56:36 +0800552
553 /* Messages put. Update signals */
Kevin Peng8dac6102021-03-09 16:44:00 +0800554 partition->signals_asserted |= signal;
Edison Ai764d41f2018-09-21 15:56:36 +0800555
Kevin Peng8dac6102021-03-09 16:44:00 +0800556 if (partition->signals_waiting & signal) {
557 tfm_event_wake(
558 &partition->event,
559 (partition->signals_asserted & partition->signals_waiting));
560 partition->signals_waiting &= ~signal;
561 }
Edison Ai764d41f2018-09-21 15:56:36 +0800562
David Hufb38d562019-09-23 15:58:34 +0800563 /*
564 * If it is a NS request via RPC, it is unnecessary to block current
565 * thread.
566 */
567 if (!is_tfm_rpc_msg(msg)) {
568 tfm_event_wait(&msg->ack_evnt);
569 }
Edison Ai764d41f2018-09-21 15:56:36 +0800570}
571
Mingyang Sunf3d29892019-07-10 17:50:23 +0800572uint32_t tfm_spm_partition_get_running_partition_id(void)
Edison Ai764d41f2018-09-21 15:56:36 +0800573{
Mingyang Sunae70d8d2020-06-30 15:56:05 +0800574 struct partition_t *partition;
Edison Ai764d41f2018-09-21 15:56:36 +0800575
Kevin Peng79c2bda2020-07-24 16:31:12 +0800576 partition = tfm_spm_get_running_partition();
Ken Liuacd2a572021-05-12 16:19:04 +0800577 if (partition && partition->p_ldinf) {
578 return partition->p_ldinf->pid;
Kevin Peng79c2bda2020-07-24 16:31:12 +0800579 } else {
580 return INVALID_PARTITION_ID;
581 }
Edison Ai764d41f2018-09-21 15:56:36 +0800582}
583
Summer Qin43c185d2019-10-10 15:44:42 +0800584int32_t tfm_memory_check(const void *buffer, size_t len, bool ns_caller,
Summer Qineb537e52019-03-29 09:57:10 +0800585 enum tfm_memory_access_e access,
586 uint32_t privileged)
Summer Qin2bfd2a02018-09-26 17:10:41 +0800587{
Mingyang Sund1ed6732020-08-26 15:52:21 +0800588 enum tfm_hal_status_t err;
589 uint32_t attr = 0;
Summer Qin2bfd2a02018-09-26 17:10:41 +0800590
591 /* If len is zero, this indicates an empty buffer and base is ignored */
592 if (len == 0) {
Ken Liubcae38b2021-01-20 15:47:44 +0800593 return SPM_SUCCESS;
Summer Qin2bfd2a02018-09-26 17:10:41 +0800594 }
595
596 if (!buffer) {
Ken Liubcae38b2021-01-20 15:47:44 +0800597 return SPM_ERROR_BAD_PARAMETERS;
Summer Qin2bfd2a02018-09-26 17:10:41 +0800598 }
599
600 if ((uintptr_t)buffer > (UINTPTR_MAX - len)) {
Ken Liubcae38b2021-01-20 15:47:44 +0800601 return SPM_ERROR_MEMORY_CHECK;
Summer Qin2bfd2a02018-09-26 17:10:41 +0800602 }
603
Summer Qin424d4db2019-03-25 14:09:51 +0800604 if (access == TFM_MEMORY_ACCESS_RW) {
Mingyang Sund1ed6732020-08-26 15:52:21 +0800605 attr |= (TFM_HAL_ACCESS_READABLE | TFM_HAL_ACCESS_WRITABLE);
Summer Qin2bfd2a02018-09-26 17:10:41 +0800606 } else {
Mingyang Sund1ed6732020-08-26 15:52:21 +0800607 attr |= TFM_HAL_ACCESS_READABLE;
Summer Qin424d4db2019-03-25 14:09:51 +0800608 }
Mingyang Sund1ed6732020-08-26 15:52:21 +0800609
610 if (privileged == TFM_PARTITION_UNPRIVILEGED_MODE) {
611 attr |= TFM_HAL_ACCESS_UNPRIVILEGED;
612 } else {
613 attr &= ~TFM_HAL_ACCESS_UNPRIVILEGED;
614 }
615
616 if (ns_caller) {
617 attr |= TFM_HAL_ACCESS_NS;
618 }
619
620 err = tfm_hal_memory_has_access((uintptr_t)buffer, len, attr);
621
622 if (err == TFM_HAL_SUCCESS) {
Ken Liubcae38b2021-01-20 15:47:44 +0800623 return SPM_SUCCESS;
Summer Qin2bfd2a02018-09-26 17:10:41 +0800624 }
625
Ken Liubcae38b2021-01-20 15:47:44 +0800626 return SPM_ERROR_MEMORY_CHECK;
Summer Qin2bfd2a02018-09-26 17:10:41 +0800627}
628
Ken Liuce2692d2020-02-11 12:39:36 +0800629uint32_t tfm_spm_init(void)
Edison Ai764d41f2018-09-21 15:56:36 +0800630{
Mingyang Sun61f8fbc2021-06-04 17:49:56 +0800631 uint32_t i, j;
632 bool privileged;
Mingyang Sunae70d8d2020-06-30 15:56:05 +0800633 struct partition_t *partition;
Summer Qin66f1e032020-01-06 15:40:03 +0800634 struct tfm_core_thread_t *pth, *p_ns_entry_thread = NULL;
Ken Liu86686282021-04-27 11:11:15 +0800635 const struct platform_data_t *platform_data_p;
Mingyang Sun8d004f72021-06-01 10:46:26 +0800636 const struct partition_load_info_t *p_ldinf;
Ken Liu4520ce32021-05-11 22:49:10 +0800637 struct asset_desc_t *p_asset_load;
David Huf07e97d2021-02-15 22:05:40 +0800638#ifdef TFM_FIH_PROFILE_ON
639 fih_int fih_rc = FIH_FAILURE;
640#endif
Edison Ai764d41f2018-09-21 15:56:36 +0800641
642 tfm_pool_init(conn_handle_pool,
643 POOL_BUFFER_SIZE(conn_handle_pool),
644 sizeof(struct tfm_conn_handle_t),
645 TFM_CONN_HANDLE_MAX_NUM);
Edison Ai764d41f2018-09-21 15:56:36 +0800646
Ken Liuacd2a572021-05-12 16:19:04 +0800647 while (1) {
648 partition = load_a_partition_assuredly();
649 if (partition == NULL) {
650 break;
Kevin Peng79c2bda2020-07-24 16:31:12 +0800651 }
652
Mingyang Sun8d004f72021-06-01 10:46:26 +0800653 p_ldinf = partition->p_ldinf;
Mingyang Sun2b352662021-04-21 11:35:43 +0800654
Kevin Peng27e42272021-05-24 17:58:53 +0800655 if (p_ldinf->nservices) {
656 load_services_assuredly(partition, &connection_services_listhead,
657 stateless_services_ref_tbl,
658 sizeof(stateless_services_ref_tbl));
659 }
660
661 if (p_ldinf->nirqs) {
662 load_irqs_assuredly(partition);
663 }
664
Ken Liuacd2a572021-05-12 16:19:04 +0800665 /* Init mmio assets */
Mingyang Sun8d004f72021-06-01 10:46:26 +0800666 if (p_ldinf->nassets > 0) {
667 if (tfm_spm_partition_get_privileged_mode(p_ldinf->flags) ==
Mingyang Sun61f8fbc2021-06-04 17:49:56 +0800668 TFM_PARTITION_PRIVILEGED_MODE) {
669 privileged = true;
670 } else {
671 privileged = false;
672 }
673 }
674
Mingyang Sun8d004f72021-06-01 10:46:26 +0800675 p_asset_load = (struct asset_desc_t *)LOAD_INFO_ASSET(p_ldinf);
676 for (i = 0; i < p_ldinf->nassets; i++) {
Ken Liu86686282021-04-27 11:11:15 +0800677 /* Skip the memory-based asset */
Ken Liu4520ce32021-05-11 22:49:10 +0800678 if (!(p_asset_load[i].attr & ASSET_DEV_REF_BIT)) {
Ken Liu86686282021-04-27 11:11:15 +0800679 continue;
Mate Toth-Pal8ac98a72019-11-21 17:30:10 +0100680 }
Ken Liu86686282021-04-27 11:11:15 +0800681
Ken Liuacd2a572021-05-12 16:19:04 +0800682 platform_data_p = REFERENCE_TO_PTR(p_asset_load[i].dev.addr_ref,
683 struct platform_data_t *);
Ken Liu25e09c72021-05-24 15:46:46 +0800684
685 /*
686 * TODO: some partitions declare MMIO not exist on specific
687 * platforms, and the platform defines a dummy NULL reference
688 * for these MMIO items, which cause 'nassets' to contain several
689 * NULL items. Skip these NULL items initialization temporarily to
690 * avoid HAL API panic.
691 * Eventually, these platform-specific partitions need to be moved
692 * into a platform-specific folder. Then this workaround can be
693 * removed.
694 */
695 if (!platform_data_p) {
696 continue;
697 }
698
Ken Liu86686282021-04-27 11:11:15 +0800699#ifdef TFM_FIH_PROFILE_ON
Mingyang Sun61f8fbc2021-06-04 17:49:56 +0800700 FIH_CALL(tfm_spm_hal_configure_default_isolation, fih_rc,
701 privileged, platform_data_p);
Ken Liu86686282021-04-27 11:11:15 +0800702 if (fih_not_eq(fih_rc, fih_int_encode(TFM_PLAT_ERR_SUCCESS))) {
703 tfm_core_panic();
704 }
705#else /* TFM_FIH_PROFILE_ON */
Mingyang Sun61f8fbc2021-06-04 17:49:56 +0800706 if (tfm_spm_hal_configure_default_isolation(privileged,
Ken Liu86686282021-04-27 11:11:15 +0800707 platform_data_p) != TFM_PLAT_ERR_SUCCESS) {
708 tfm_core_panic();
709 }
710#endif /* TFM_FIH_PROFILE_ON */
Mate Toth-Pal8ac98a72019-11-21 17:30:10 +0100711 }
712
Mingyang Sunaf22ffa2020-07-09 17:48:37 +0800713 partition->signals_allowed |= PSA_DOORBELL;
Shawn Shanc7dda0e2019-12-23 14:45:09 +0800714
Mingyang Sunaf22ffa2020-07-09 17:48:37 +0800715 tfm_event_init(&partition->event);
Ken Liu2c47f7f2021-01-22 11:06:04 +0800716 BI_LIST_INIT_NODE(&partition->msg_list);
Edison Ai764d41f2018-09-21 15:56:36 +0800717
Mingyang Sunaf22ffa2020-07-09 17:48:37 +0800718 pth = &partition->sp_thread;
Edison Ai764d41f2018-09-21 15:56:36 +0800719 if (!pth) {
Edison Ai9059ea02019-11-28 13:46:14 +0800720 tfm_core_panic();
Edison Ai764d41f2018-09-21 15:56:36 +0800721 }
722
Mingyang Sun8d004f72021-06-01 10:46:26 +0800723 /* Extendable partition load info is right after p_ldinf. */
Mingyang Sun2b352662021-04-21 11:35:43 +0800724 tfm_core_thrd_init(
725 pth,
Mingyang Sun8d004f72021-06-01 10:46:26 +0800726 POSITION_TO_ENTRY(p_ldinf->entry, tfm_core_thrd_entry_t),
Mingyang Sun2b352662021-04-21 11:35:43 +0800727 NULL,
Mingyang Sun8d004f72021-06-01 10:46:26 +0800728 LOAD_ALLOCED_STACK_ADDR(p_ldinf) + p_ldinf->stack_size,
729 LOAD_ALLOCED_STACK_ADDR(p_ldinf));
Edison Ai788bae22019-02-18 17:38:59 +0800730
Mingyang Sun8d004f72021-06-01 10:46:26 +0800731 pth->prior = TO_THREAD_PRIORITY(PARTITION_PRIORITY(p_ldinf->flags));
Edison Ai764d41f2018-09-21 15:56:36 +0800732
Mingyang Sun8d004f72021-06-01 10:46:26 +0800733 if (p_ldinf->pid == TFM_SP_NON_SECURE_ID) {
Ken Liu490281d2019-12-30 15:55:26 +0800734 p_ns_entry_thread = pth;
Ken Liu5248af22019-12-29 12:47:13 +0800735 pth->param = (void *)tfm_spm_hal_get_ns_entry_point();
Ken Liu490281d2019-12-30 15:55:26 +0800736 }
737
Edison Ai764d41f2018-09-21 15:56:36 +0800738 /* Kick off */
Summer Qin66f1e032020-01-06 15:40:03 +0800739 if (tfm_core_thrd_start(pth) != THRD_SUCCESS) {
Edison Ai9059ea02019-11-28 13:46:14 +0800740 tfm_core_panic();
Edison Ai764d41f2018-09-21 15:56:36 +0800741 }
Edison Ai764d41f2018-09-21 15:56:36 +0800742 }
743
Ken Liu483f5da2019-04-24 10:45:21 +0800744 /*
745 * All threads initialized, start the scheduler.
746 *
747 * NOTE:
Ken Liu490281d2019-12-30 15:55:26 +0800748 * It is worthy to give the thread object to scheduler if the background
749 * context belongs to one of the threads. Here the background thread is the
750 * initialization thread who calls SPM SVC, which re-uses the non-secure
751 * entry thread's stack. After SPM initialization is done, this stack is
752 * cleaned up and the background context is never going to return. Tell
753 * the scheduler that the current thread is non-secure entry thread.
Ken Liu483f5da2019-04-24 10:45:21 +0800754 */
Summer Qin66f1e032020-01-06 15:40:03 +0800755 tfm_core_thrd_start_scheduler(p_ns_entry_thread);
Ken Liuce2692d2020-02-11 12:39:36 +0800756
Summer Qind2ad7e72020-01-06 18:16:35 +0800757 return p_ns_entry_thread->arch_ctx.lr;
Edison Ai764d41f2018-09-21 15:56:36 +0800758}
Ken Liu2d175172019-03-21 17:08:41 +0800759
Summer Qind2ad7e72020-01-06 18:16:35 +0800760void tfm_pendsv_do_schedule(struct tfm_arch_ctx_t *p_actx)
Ken Liu2d175172019-03-21 17:08:41 +0800761{
Kevin Peng25b190b2020-10-30 17:10:45 +0800762#if TFM_LVL != 1
Mingyang Sunae70d8d2020-06-30 15:56:05 +0800763 struct partition_t *p_next_partition;
Ken Liu4520ce32021-05-11 22:49:10 +0800764 const struct partition_load_info_t *p_part_static;
Ken Liu2d175172019-03-21 17:08:41 +0800765 uint32_t is_privileged;
766#endif
Kevin Peng82fbca52021-03-09 13:48:48 +0800767 struct tfm_core_thread_t *pth_next = tfm_core_thrd_get_next();
768 struct tfm_core_thread_t *pth_curr = tfm_core_thrd_get_curr();
David Huf07e97d2021-02-15 22:05:40 +0800769#if defined(TFM_FIH_PROFILE_ON) && (TFM_LVL == 3)
770 fih_int fih_rc = FIH_FAILURE;
771#endif
Ken Liu2d175172019-03-21 17:08:41 +0800772
Mate Toth-Pal32b2ccd2019-04-26 10:00:16 +0200773 if (pth_next != NULL && pth_curr != pth_next) {
Kevin Peng25b190b2020-10-30 17:10:45 +0800774#if TFM_LVL != 1
Ken Liuc25558c2021-05-20 15:31:28 +0800775 p_next_partition = TO_CONTAINER(pth_next,
776 struct partition_t,
777 sp_thread);
Ken Liuacd2a572021-05-12 16:19:04 +0800778 p_part_static = p_next_partition->p_ldinf;
Ken Liu86686282021-04-27 11:11:15 +0800779 if (p_part_static->flags & SPM_PART_FLAG_PSA_ROT) {
Ken Liu2d175172019-03-21 17:08:41 +0800780 is_privileged = TFM_PARTITION_PRIVILEGED_MODE;
781 } else {
782 is_privileged = TFM_PARTITION_UNPRIVILEGED_MODE;
783 }
784
785 tfm_spm_partition_change_privilege(is_privileged);
Kevin Peng25b190b2020-10-30 17:10:45 +0800786#if TFM_LVL == 3
787 /*
788 * FIXME: To implement isolations among partitions in isolation level 3,
789 * each partition needs to run in unprivileged mode. Currently some
790 * PRoTs cannot work in unprivileged mode, make them privileged now.
791 */
792 if (is_privileged == TFM_PARTITION_UNPRIVILEGED_MODE) {
Ken Liu86686282021-04-27 11:11:15 +0800793 struct asset_desc_t *p_asset =
Ken Liu4520ce32021-05-11 22:49:10 +0800794 (struct asset_desc_t *)LOAD_INFO_ASSET(p_part_static);
Ken Liu86686282021-04-27 11:11:15 +0800795 /* Partition must have private data as the first asset in LVL3 */
796 if (p_part_static->nassets == 0) {
797 tfm_core_panic();
798 }
799 if (p_asset->attr & ASSET_DEV_REF_BIT) {
800 tfm_core_panic();
801 }
Kevin Peng25b190b2020-10-30 17:10:45 +0800802 /* FIXME: only MPU-based implementations are supported currently */
David Huf07e97d2021-02-15 22:05:40 +0800803#ifdef TFM_FIH_PROFILE_ON
804 FIH_CALL(tfm_hal_mpu_update_partition_boundary, fih_rc,
Ken Liu86686282021-04-27 11:11:15 +0800805 p_asset->mem.addr_x, p_asset->mem.addr_y);
David Huf07e97d2021-02-15 22:05:40 +0800806 if (fih_not_eq(fih_rc, fih_int_encode(TFM_HAL_SUCCESS))) {
807 tfm_core_panic();
808 }
809#else /* TFM_FIH_PROFILE_ON */
Ken Liu86686282021-04-27 11:11:15 +0800810 if (tfm_hal_mpu_update_partition_boundary(p_asset->mem.addr_x,
811 p_asset->mem.addr_y)
Kevin Peng25b190b2020-10-30 17:10:45 +0800812 != TFM_HAL_SUCCESS) {
813 tfm_core_panic();
814 }
David Huf07e97d2021-02-15 22:05:40 +0800815#endif /* TFM_FIH_PROFILE_ON */
Kevin Peng25b190b2020-10-30 17:10:45 +0800816 }
817#endif /* TFM_LVL == 3 */
818#endif /* TFM_LVL != 1 */
Mate Toth-Palc430b992019-05-09 21:01:14 +0200819
Summer Qind2ad7e72020-01-06 18:16:35 +0800820 tfm_core_thrd_switch_context(p_actx, pth_curr, pth_next);
Ken Liu2d175172019-03-21 17:08:41 +0800821 }
David Hufb38d562019-09-23 15:58:34 +0800822
823 /*
824 * Handle pending mailbox message from NS in multi-core topology.
825 * Empty operation on single Armv8-M platform.
826 */
827 tfm_rpc_client_call_handler();
Ken Liu2d175172019-03-21 17:08:41 +0800828}
Mingyang Sund44522a2020-01-16 16:48:37 +0800829
Summer Qin02f7f072020-08-24 16:02:54 +0800830void update_caller_outvec_len(struct tfm_msg_body_t *msg)
Mingyang Sund44522a2020-01-16 16:48:37 +0800831{
832 uint32_t i;
833
834 /*
835 * FixeMe: abstract these part into dedicated functions to avoid
836 * accessing thread context in psa layer
837 */
838 /* If it is a NS request via RPC, the owner of this message is not set */
839 if (!is_tfm_rpc_msg(msg)) {
840 TFM_CORE_ASSERT(msg->ack_evnt.owner->state == THRD_STATE_BLOCK);
841 }
842
843 for (i = 0; i < PSA_MAX_IOVEC; i++) {
844 if (msg->msg.out_size[i] == 0) {
845 continue;
846 }
847
848 TFM_CORE_ASSERT(msg->caller_outvec[i].base == msg->outvec[i].base);
849
850 msg->caller_outvec[i].len = msg->outvec[i].len;
851 }
852}
853
Summer Qin02f7f072020-08-24 16:02:54 +0800854void notify_with_signal(int32_t partition_id, psa_signal_t signal)
Mingyang Sund44522a2020-01-16 16:48:37 +0800855{
Mingyang Sunae70d8d2020-06-30 15:56:05 +0800856 struct partition_t *partition = NULL;
Mingyang Sund44522a2020-01-16 16:48:37 +0800857
858 /*
859 * The value of partition_id must be greater than zero as the target of
860 * notification must be a Secure Partition, providing a Non-secure
861 * Partition ID is a fatal error.
862 */
863 if (!TFM_CLIENT_ID_IS_S(partition_id)) {
864 tfm_core_panic();
865 }
866
867 /*
868 * It is a fatal error if partition_id does not correspond to a Secure
869 * Partition.
870 */
871 partition = tfm_spm_get_partition_by_id(partition_id);
872 if (!partition) {
873 tfm_core_panic();
874 }
875
Mingyang Sunaf22ffa2020-07-09 17:48:37 +0800876 partition->signals_asserted |= signal;
Mingyang Sund44522a2020-01-16 16:48:37 +0800877
Kevin Peng8dac6102021-03-09 16:44:00 +0800878 if (partition->signals_waiting & signal) {
879 tfm_event_wake(
880 &partition->event,
881 partition->signals_asserted & partition->signals_waiting);
882 partition->signals_waiting &= ~signal;
883 }
Mingyang Sund44522a2020-01-16 16:48:37 +0800884}
885
Mingyang Sund44522a2020-01-16 16:48:37 +0800886/**
Kevin Pengdc791882021-03-12 10:57:12 +0800887 * \brief Sets signal to partition for Second-Level Interrupt Handling mode IRQ
Mingyang Sund44522a2020-01-16 16:48:37 +0800888 *
889 * \param[in] partition_id The ID of the partition which handles this IRQ
890 * \param[in] signal The signal associated with this IRQ
891 * \param[in] irq_line The number of the IRQ line
892 *
893 * \retval void Success.
894 * \retval "Does not return" Partition ID is invalid
895 */
Kevin Pengdc791882021-03-12 10:57:12 +0800896void tfm_set_irq_signal(uint32_t partition_id, psa_signal_t signal,
897 uint32_t irq_line)
Mingyang Sund44522a2020-01-16 16:48:37 +0800898{
Kevin Pengdc791882021-03-12 10:57:12 +0800899 __disable_irq();
900
Mingyang Sund44522a2020-01-16 16:48:37 +0800901 tfm_spm_hal_disable_irq(irq_line);
902 notify_with_signal(partition_id, signal);
Kevin Pengdc791882021-03-12 10:57:12 +0800903
904 __enable_irq();
Mingyang Sund44522a2020-01-16 16:48:37 +0800905}
906
Kevin Peng27e42272021-05-24 17:58:53 +0800907struct irq_load_info_t *get_irq_info_for_signal(
908 const struct partition_load_info_t *p_ldinf,
909 psa_signal_t signal)
Mingyang Sund44522a2020-01-16 16:48:37 +0800910{
911 size_t i;
Kevin Peng27e42272021-05-24 17:58:53 +0800912 struct irq_load_info_t *irq_info;
Mingyang Sund44522a2020-01-16 16:48:37 +0800913
Ken Liu24dffb22021-02-10 11:03:58 +0800914 if (!IS_ONLY_ONE_BIT_IN_UINT32(signal)) {
Kevin Peng27e42272021-05-24 17:58:53 +0800915 return NULL;
Kevin Peng410bee52021-01-13 16:27:17 +0800916 }
917
Kevin Peng27e42272021-05-24 17:58:53 +0800918 irq_info = (struct irq_load_info_t *)LOAD_INFO_IRQ(p_ldinf);
919 for (i = 0; i < p_ldinf->nirqs; i++) {
920 if (irq_info[i].signal == signal) {
921 return &irq_info[i];
Mingyang Sund44522a2020-01-16 16:48:37 +0800922 }
923 }
Kevin Penga20b5af2021-01-11 11:20:52 +0800924
Kevin Peng27e42272021-05-24 17:58:53 +0800925 return NULL;
Mingyang Sund44522a2020-01-16 16:48:37 +0800926}
927
Summer Qindea1f2c2021-01-11 14:46:34 +0800928#if !defined(__ARM_ARCH_8_1M_MAIN__)
Mingyang Sunae70d8d2020-06-30 15:56:05 +0800929void tfm_spm_validate_caller(struct partition_t *p_cur_sp, uint32_t *p_ctx,
930 uint32_t exc_return, bool ns_caller)
Mingyang Sund44522a2020-01-16 16:48:37 +0800931{
932 uintptr_t stacked_ctx_pos;
933
934 if (ns_caller) {
935 /*
936 * The background IRQ can't be supported, since if SP is executing,
937 * the preempted context of SP can be different with the one who
938 * preempts veneer.
939 */
Ken Liuacd2a572021-05-12 16:19:04 +0800940 if (p_cur_sp->p_ldinf->pid != TFM_SP_NON_SECURE_ID) {
Mingyang Sund44522a2020-01-16 16:48:37 +0800941 tfm_core_panic();
942 }
943
944 /*
945 * It is non-secure caller, check if veneer stack contains
946 * multiple contexts.
947 */
948 stacked_ctx_pos = (uintptr_t)p_ctx +
949 sizeof(struct tfm_state_context_t) +
Ken Liu05e13ba2020-07-25 10:31:33 +0800950 TFM_STACK_SEALED_SIZE;
Mingyang Sund44522a2020-01-16 16:48:37 +0800951
952 if (is_stack_alloc_fp_space(exc_return)) {
Xinyu Zhang3a453242021-04-16 17:57:09 +0800953#if defined(__FPU_USED) && (__FPU_USED == 1U)
Mingyang Sund44522a2020-01-16 16:48:37 +0800954 if (FPU->FPCCR & FPU_FPCCR_TS_Msk) {
955 stacked_ctx_pos += TFM_ADDTIONAL_FP_CONTEXT_WORDS *
956 sizeof(uint32_t);
957 }
958#endif
959 stacked_ctx_pos += TFM_BASIC_FP_CONTEXT_WORDS * sizeof(uint32_t);
960 }
961
Mingyang Sunaf22ffa2020-07-09 17:48:37 +0800962 if (stacked_ctx_pos != p_cur_sp->sp_thread.stk_top) {
Mingyang Sund44522a2020-01-16 16:48:37 +0800963 tfm_core_panic();
964 }
Ken Liuacd2a572021-05-12 16:19:04 +0800965 } else if (p_cur_sp->p_ldinf->pid <= 0) {
Mingyang Sund44522a2020-01-16 16:48:37 +0800966 tfm_core_panic();
967 }
968}
Summer Qindea1f2c2021-01-11 14:46:34 +0800969#endif
Summer Qin830c5542020-02-14 13:44:20 +0800970
971void tfm_spm_request_handler(const struct tfm_state_context_t *svc_ctx)
972{
973 uint32_t *res_ptr = (uint32_t *)&svc_ctx->r0;
974 uint32_t running_partition_flags = 0;
Mingyang Sunae70d8d2020-06-30 15:56:05 +0800975 const struct partition_t *partition = NULL;
Summer Qin830c5542020-02-14 13:44:20 +0800976
977 /* Check permissions on request type basis */
978
979 switch (svc_ctx->r0) {
980 case TFM_SPM_REQUEST_RESET_VOTE:
981 partition = tfm_spm_get_running_partition();
982 if (!partition) {
983 tfm_core_panic();
984 }
Ken Liuacd2a572021-05-12 16:19:04 +0800985 running_partition_flags = partition->p_ldinf->flags;
Summer Qin830c5542020-02-14 13:44:20 +0800986
987 /* Currently only PSA Root of Trust services are allowed to make Reset
988 * vote request
989 */
990 if ((running_partition_flags & SPM_PART_FLAG_PSA_ROT) == 0) {
991 *res_ptr = (uint32_t)TFM_ERROR_GENERIC;
992 }
993
994 /* FixMe: this is a placeholder for checks to be performed before
995 * allowing execution of reset
996 */
997 *res_ptr = (uint32_t)TFM_SUCCESS;
998
999 break;
1000 default:
1001 *res_ptr = (uint32_t)TFM_ERROR_INVALID_PARAMETER;
1002 }
1003}