blob: 02fa3dcee4170af208bdea89bdbfd84b2e8b26ce [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{
Ken Liub3b2cb62021-05-22 00:39:28 +0800325 struct service_t *p_serv = connection_services_listhead;
Edison Ai764d41f2018-09-21 15:56:36 +0800326
Ken Liuacd2a572021-05-12 16:19:04 +0800327 while (p_serv && p_serv->p_ldinf->sid != sid) {
328 p_serv = TO_CONTAINER(BI_LIST_NEXT_NODE(&p_serv->list),
329 struct service_t, list);
Ken Liub3b2cb62021-05-22 00:39:28 +0800330 if (p_serv == connection_services_listhead)
Ken Liuacd2a572021-05-12 16:19:04 +0800331 return NULL;
Edison Ai764d41f2018-09-21 15:56:36 +0800332 }
Summer Qin2fca1c82020-03-20 14:37:55 +0800333
Ken Liuacd2a572021-05-12 16:19:04 +0800334 return p_serv;
Edison Ai764d41f2018-09-21 15:56:36 +0800335}
336
Mingyang Sund44522a2020-01-16 16:48:37 +0800337/**
338 * \brief Get the partition context by partition ID.
339 *
340 * \param[in] partition_id Partition identity
341 *
342 * \retval NULL Failed
343 * \retval "Not NULL" Target partition context pointer,
Mingyang Sunae70d8d2020-06-30 15:56:05 +0800344 * \ref partition_t structures
Mingyang Sund44522a2020-01-16 16:48:37 +0800345 */
Mingyang Sunae70d8d2020-06-30 15:56:05 +0800346static struct partition_t *tfm_spm_get_partition_by_id(int32_t partition_id)
Edison Ai764d41f2018-09-21 15:56:36 +0800347{
Mingyang Sun5e13aa72019-07-10 10:30:16 +0800348 uint32_t idx = get_partition_idx(partition_id);
Edison Ai764d41f2018-09-21 15:56:36 +0800349
Mingyang Sun5e13aa72019-07-10 10:30:16 +0800350 if (idx != SPM_INVALID_PARTITION_IDX) {
351 return &(g_spm_partition_db.partitions[idx]);
Edison Ai764d41f2018-09-21 15:56:36 +0800352 }
353 return NULL;
354}
355
Mingyang Sunae70d8d2020-06-30 15:56:05 +0800356struct partition_t *tfm_spm_get_running_partition(void)
Edison Ai764d41f2018-09-21 15:56:36 +0800357{
Kevin Peng82fbca52021-03-09 13:48:48 +0800358 struct tfm_core_thread_t *pth = tfm_core_thrd_get_curr();
Mingyang Sunae70d8d2020-06-30 15:56:05 +0800359 struct partition_t *partition;
Edison Ai764d41f2018-09-21 15:56:36 +0800360
Ken Liuc25558c2021-05-20 15:31:28 +0800361 partition = TO_CONTAINER(pth, struct partition_t, sp_thread);
Mingyang Sunaf22ffa2020-07-09 17:48:37 +0800362
Kevin Peng79c2bda2020-07-24 16:31:12 +0800363 return partition;
Edison Ai764d41f2018-09-21 15:56:36 +0800364}
365
Mingyang Sun783a59b2021-04-20 15:52:18 +0800366int32_t tfm_spm_check_client_version(struct service_t *service,
Jaykumar Pitambarbhai Patel3a986022019-10-08 17:37:15 +0530367 uint32_t version)
Edison Ai764d41f2018-09-21 15:56:36 +0800368{
Ken Liuf250b8b2019-12-27 16:31:24 +0800369 TFM_CORE_ASSERT(service);
Edison Ai764d41f2018-09-21 15:56:36 +0800370
Ken Liuacd2a572021-05-12 16:19:04 +0800371 switch (SERVICE_GET_VERSION_POLICY(service->p_ldinf->flags)) {
Ken Liub3b2cb62021-05-22 00:39:28 +0800372 case SERVICE_VERSION_POLICY_RELAXED:
Ken Liuacd2a572021-05-12 16:19:04 +0800373 if (version > service->p_ldinf->version) {
Ken Liubcae38b2021-01-20 15:47:44 +0800374 return SPM_ERROR_VERSION;
Edison Ai764d41f2018-09-21 15:56:36 +0800375 }
376 break;
Ken Liub3b2cb62021-05-22 00:39:28 +0800377 case SERVICE_VERSION_POLICY_STRICT:
Ken Liuacd2a572021-05-12 16:19:04 +0800378 if (version != service->p_ldinf->version) {
Ken Liubcae38b2021-01-20 15:47:44 +0800379 return SPM_ERROR_VERSION;
Edison Ai764d41f2018-09-21 15:56:36 +0800380 }
381 break;
382 default:
Ken Liubcae38b2021-01-20 15:47:44 +0800383 return SPM_ERROR_VERSION;
Edison Ai764d41f2018-09-21 15:56:36 +0800384 }
Ken Liubcae38b2021-01-20 15:47:44 +0800385 return SPM_SUCCESS;
Edison Ai764d41f2018-09-21 15:56:36 +0800386}
387
Edison Aie728fbf2019-11-13 09:37:12 +0800388int32_t tfm_spm_check_authorization(uint32_t sid,
Mingyang Sun783a59b2021-04-20 15:52:18 +0800389 struct service_t *service,
Summer Qin618e8c32019-12-09 10:47:20 +0800390 bool ns_caller)
Edison Aie728fbf2019-11-13 09:37:12 +0800391{
Mingyang Sunae70d8d2020-06-30 15:56:05 +0800392 struct partition_t *partition = NULL;
Mingyang Sun2b352662021-04-21 11:35:43 +0800393 uint32_t *dep;
Edison Aie728fbf2019-11-13 09:37:12 +0800394 int32_t i;
395
Ken Liuf250b8b2019-12-27 16:31:24 +0800396 TFM_CORE_ASSERT(service);
Edison Aie728fbf2019-11-13 09:37:12 +0800397
398 if (ns_caller) {
Ken Liuacd2a572021-05-12 16:19:04 +0800399 if (!SERVICE_IS_NS_ACCESSIBLE(service->p_ldinf->flags)) {
Ken Liubcae38b2021-01-20 15:47:44 +0800400 return SPM_ERROR_GENERIC;
Edison Aie728fbf2019-11-13 09:37:12 +0800401 }
402 } else {
403 partition = tfm_spm_get_running_partition();
404 if (!partition) {
Edison Ai9059ea02019-11-28 13:46:14 +0800405 tfm_core_panic();
Edison Aie728fbf2019-11-13 09:37:12 +0800406 }
407
Ken Liuacd2a572021-05-12 16:19:04 +0800408 dep = (uint32_t *)LOAD_INFO_DEPS(partition->p_ldinf);
409 for (i = 0; i < partition->p_ldinf->ndeps; i++) {
Mingyang Sun2b352662021-04-21 11:35:43 +0800410 if (dep[i] == sid) {
Edison Aie728fbf2019-11-13 09:37:12 +0800411 break;
412 }
413 }
414
Ken Liuacd2a572021-05-12 16:19:04 +0800415 if (i == partition->p_ldinf->ndeps) {
Ken Liubcae38b2021-01-20 15:47:44 +0800416 return SPM_ERROR_GENERIC;
Edison Aie728fbf2019-11-13 09:37:12 +0800417 }
418 }
Ken Liubcae38b2021-01-20 15:47:44 +0800419 return SPM_SUCCESS;
Edison Aie728fbf2019-11-13 09:37:12 +0800420}
421
Edison Ai764d41f2018-09-21 15:56:36 +0800422/* Message functions */
Mingyang Sund44522a2020-01-16 16:48:37 +0800423
Summer Qin02f7f072020-08-24 16:02:54 +0800424struct tfm_msg_body_t *tfm_spm_get_msg_from_handle(psa_handle_t msg_handle)
Edison Ai764d41f2018-09-21 15:56:36 +0800425{
426 /*
Mate Toth-Pala4b5d242019-09-23 09:14:47 +0200427 * The message handler passed by the caller is considered invalid in the
428 * following cases:
429 * 1. Not a valid message handle. (The address of a message is not the
430 * address of a possible handle from the pool
431 * 2. Handle not belongs to the caller partition (The handle is either
432 * unused, or owned by anither partition)
433 * Check the conditions above
Edison Ai764d41f2018-09-21 15:56:36 +0800434 */
Ken Liu505b1702020-05-29 13:19:58 +0800435 struct tfm_msg_body_t *p_msg;
Edison Ai764d41f2018-09-21 15:56:36 +0800436 uint32_t partition_id;
Ken Liu505b1702020-05-29 13:19:58 +0800437 struct tfm_conn_handle_t *p_conn_handle =
438 tfm_spm_to_handle_instance(msg_handle);
Mate Toth-Pala4b5d242019-09-23 09:14:47 +0200439
440 if (is_valid_chunk_data_in_pool(
Ken Liu505b1702020-05-29 13:19:58 +0800441 conn_handle_pool, (uint8_t *)p_conn_handle) != 1) {
Edison Ai764d41f2018-09-21 15:56:36 +0800442 return NULL;
443 }
444
Ken Liu505b1702020-05-29 13:19:58 +0800445 p_msg = &p_conn_handle->internal_msg;
446
Edison Ai764d41f2018-09-21 15:56:36 +0800447 /*
Mate Toth-Pala4b5d242019-09-23 09:14:47 +0200448 * Check that the magic number is correct. This proves that the message
449 * structure contains an active message.
Edison Ai764d41f2018-09-21 15:56:36 +0800450 */
Ken Liu505b1702020-05-29 13:19:58 +0800451 if (p_msg->magic != TFM_MSG_MAGIC) {
Edison Ai764d41f2018-09-21 15:56:36 +0800452 return NULL;
453 }
454
Mate Toth-Pala4b5d242019-09-23 09:14:47 +0200455 /* Check that the running partition owns the message */
Mingyang Sunf3d29892019-07-10 17:50:23 +0800456 partition_id = tfm_spm_partition_get_running_partition_id();
Ken Liuacd2a572021-05-12 16:19:04 +0800457 if (partition_id != p_msg->service->partition->p_ldinf->pid) {
Edison Ai764d41f2018-09-21 15:56:36 +0800458 return NULL;
459 }
460
Ken Liu505b1702020-05-29 13:19:58 +0800461 return p_msg;
Edison Ai764d41f2018-09-21 15:56:36 +0800462}
463
Kevin Pengdf6aa292021-03-11 17:58:50 +0800464struct tfm_msg_body_t *
465 tfm_spm_get_msg_buffer_from_conn_handle(struct tfm_conn_handle_t *conn_handle)
466{
467 TFM_CORE_ASSERT(conn_handle != NULL);
468
469 return &(conn_handle->internal_msg);
470}
471
Edison Ai97115822019-08-01 14:22:19 +0800472void tfm_spm_fill_msg(struct tfm_msg_body_t *msg,
Mingyang Sun783a59b2021-04-20 15:52:18 +0800473 struct service_t *service,
Ken Liu505b1702020-05-29 13:19:58 +0800474 psa_handle_t handle,
Summer Qin1ce712a2019-10-14 18:04:05 +0800475 int32_t type, int32_t client_id,
Edison Ai97115822019-08-01 14:22:19 +0800476 psa_invec *invec, size_t in_len,
477 psa_outvec *outvec, size_t out_len,
478 psa_outvec *caller_outvec)
479{
Edison Ai764d41f2018-09-21 15:56:36 +0800480 uint32_t i;
Ken Liu505b1702020-05-29 13:19:58 +0800481 struct tfm_conn_handle_t *conn_handle;
Edison Ai764d41f2018-09-21 15:56:36 +0800482
Ken Liuf250b8b2019-12-27 16:31:24 +0800483 TFM_CORE_ASSERT(msg);
484 TFM_CORE_ASSERT(service);
485 TFM_CORE_ASSERT(!(invec == NULL && in_len != 0));
486 TFM_CORE_ASSERT(!(outvec == NULL && out_len != 0));
487 TFM_CORE_ASSERT(in_len <= PSA_MAX_IOVEC);
488 TFM_CORE_ASSERT(out_len <= PSA_MAX_IOVEC);
489 TFM_CORE_ASSERT(in_len + out_len <= PSA_MAX_IOVEC);
Edison Ai764d41f2018-09-21 15:56:36 +0800490
Edison Ai764d41f2018-09-21 15:56:36 +0800491 /* Clear message buffer before using it */
Summer Qinf24dbb52020-07-23 14:53:54 +0800492 spm_memset(msg, 0, sizeof(struct tfm_msg_body_t));
Edison Ai764d41f2018-09-21 15:56:36 +0800493
Ken Liu35f89392019-03-14 14:51:05 +0800494 tfm_event_init(&msg->ack_evnt);
Edison Ai764d41f2018-09-21 15:56:36 +0800495 msg->magic = TFM_MSG_MAGIC;
496 msg->service = service;
Edison Ai764d41f2018-09-21 15:56:36 +0800497 msg->caller_outvec = caller_outvec;
Summer Qin1ce712a2019-10-14 18:04:05 +0800498 msg->msg.client_id = client_id;
Edison Ai764d41f2018-09-21 15:56:36 +0800499
500 /* Copy contents */
501 msg->msg.type = type;
502
503 for (i = 0; i < in_len; i++) {
504 msg->msg.in_size[i] = invec[i].len;
505 msg->invec[i].base = invec[i].base;
506 }
507
508 for (i = 0; i < out_len; i++) {
509 msg->msg.out_size[i] = outvec[i].len;
510 msg->outvec[i].base = outvec[i].base;
511 /* Out len is used to record the writed number, set 0 here again */
512 msg->outvec[i].len = 0;
513 }
514
Ken Liu505b1702020-05-29 13:19:58 +0800515 /* Use the user connect handle as the message handle */
516 msg->msg.handle = handle;
Edison Ai764d41f2018-09-21 15:56:36 +0800517
Ken Liu505b1702020-05-29 13:19:58 +0800518 conn_handle = tfm_spm_to_handle_instance(handle);
Edison Ai764d41f2018-09-21 15:56:36 +0800519 /* For connected handle, set rhandle to every message */
Ken Liu505b1702020-05-29 13:19:58 +0800520 if (conn_handle) {
521 msg->msg.rhandle = tfm_spm_get_rhandle(service, conn_handle);
Edison Ai764d41f2018-09-21 15:56:36 +0800522 }
David Hu46603dd2019-12-11 18:05:16 +0800523
524 /* Set the private data of NSPE client caller in multi-core topology */
525 if (TFM_CLIENT_ID_IS_NS(client_id)) {
526 tfm_rpc_set_caller_data(msg, client_id);
527 }
Edison Ai764d41f2018-09-21 15:56:36 +0800528}
529
Mingyang Sun783a59b2021-04-20 15:52:18 +0800530void tfm_spm_send_event(struct service_t *service,
Kevin Peng8dac6102021-03-09 16:44:00 +0800531 struct tfm_msg_body_t *msg)
Edison Ai764d41f2018-09-21 15:56:36 +0800532{
Kevin Peng8dac6102021-03-09 16:44:00 +0800533 struct partition_t *partition = NULL;
534 psa_signal_t signal = 0;
Mingyang Sun5e13aa72019-07-10 10:30:16 +0800535
Ken Liuacd2a572021-05-12 16:19:04 +0800536 if (!msg || !service || !service->p_ldinf || !service->partition) {
Kevin Peng8dac6102021-03-09 16:44:00 +0800537 tfm_core_panic();
538 }
539
540 partition = service->partition;
Ken Liuacd2a572021-05-12 16:19:04 +0800541 signal = service->p_ldinf->signal;
Edison Ai764d41f2018-09-21 15:56:36 +0800542
Mingyang Sun73056b62020-07-03 15:18:46 +0800543 /* Add message to partition message list tail */
Ken Liu2c47f7f2021-01-22 11:06:04 +0800544 BI_LIST_INSERT_BEFORE(&partition->msg_list, &msg->msg_node);
Edison Ai764d41f2018-09-21 15:56:36 +0800545
546 /* Messages put. Update signals */
Kevin Peng8dac6102021-03-09 16:44:00 +0800547 partition->signals_asserted |= signal;
Edison Ai764d41f2018-09-21 15:56:36 +0800548
Kevin Peng8dac6102021-03-09 16:44:00 +0800549 if (partition->signals_waiting & signal) {
550 tfm_event_wake(
551 &partition->event,
552 (partition->signals_asserted & partition->signals_waiting));
553 partition->signals_waiting &= ~signal;
554 }
Edison Ai764d41f2018-09-21 15:56:36 +0800555
David Hufb38d562019-09-23 15:58:34 +0800556 /*
557 * If it is a NS request via RPC, it is unnecessary to block current
558 * thread.
559 */
560 if (!is_tfm_rpc_msg(msg)) {
561 tfm_event_wait(&msg->ack_evnt);
562 }
Edison Ai764d41f2018-09-21 15:56:36 +0800563}
564
Mingyang Sunf3d29892019-07-10 17:50:23 +0800565uint32_t tfm_spm_partition_get_running_partition_id(void)
Edison Ai764d41f2018-09-21 15:56:36 +0800566{
Mingyang Sunae70d8d2020-06-30 15:56:05 +0800567 struct partition_t *partition;
Edison Ai764d41f2018-09-21 15:56:36 +0800568
Kevin Peng79c2bda2020-07-24 16:31:12 +0800569 partition = tfm_spm_get_running_partition();
Ken Liuacd2a572021-05-12 16:19:04 +0800570 if (partition && partition->p_ldinf) {
571 return partition->p_ldinf->pid;
Kevin Peng79c2bda2020-07-24 16:31:12 +0800572 } else {
573 return INVALID_PARTITION_ID;
574 }
Edison Ai764d41f2018-09-21 15:56:36 +0800575}
576
Summer Qin43c185d2019-10-10 15:44:42 +0800577int32_t tfm_memory_check(const void *buffer, size_t len, bool ns_caller,
Summer Qineb537e52019-03-29 09:57:10 +0800578 enum tfm_memory_access_e access,
579 uint32_t privileged)
Summer Qin2bfd2a02018-09-26 17:10:41 +0800580{
Mingyang Sund1ed6732020-08-26 15:52:21 +0800581 enum tfm_hal_status_t err;
582 uint32_t attr = 0;
Summer Qin2bfd2a02018-09-26 17:10:41 +0800583
584 /* If len is zero, this indicates an empty buffer and base is ignored */
585 if (len == 0) {
Ken Liubcae38b2021-01-20 15:47:44 +0800586 return SPM_SUCCESS;
Summer Qin2bfd2a02018-09-26 17:10:41 +0800587 }
588
589 if (!buffer) {
Ken Liubcae38b2021-01-20 15:47:44 +0800590 return SPM_ERROR_BAD_PARAMETERS;
Summer Qin2bfd2a02018-09-26 17:10:41 +0800591 }
592
593 if ((uintptr_t)buffer > (UINTPTR_MAX - len)) {
Ken Liubcae38b2021-01-20 15:47:44 +0800594 return SPM_ERROR_MEMORY_CHECK;
Summer Qin2bfd2a02018-09-26 17:10:41 +0800595 }
596
Summer Qin424d4db2019-03-25 14:09:51 +0800597 if (access == TFM_MEMORY_ACCESS_RW) {
Mingyang Sund1ed6732020-08-26 15:52:21 +0800598 attr |= (TFM_HAL_ACCESS_READABLE | TFM_HAL_ACCESS_WRITABLE);
Summer Qin2bfd2a02018-09-26 17:10:41 +0800599 } else {
Mingyang Sund1ed6732020-08-26 15:52:21 +0800600 attr |= TFM_HAL_ACCESS_READABLE;
Summer Qin424d4db2019-03-25 14:09:51 +0800601 }
Mingyang Sund1ed6732020-08-26 15:52:21 +0800602
603 if (privileged == TFM_PARTITION_UNPRIVILEGED_MODE) {
604 attr |= TFM_HAL_ACCESS_UNPRIVILEGED;
605 } else {
606 attr &= ~TFM_HAL_ACCESS_UNPRIVILEGED;
607 }
608
609 if (ns_caller) {
610 attr |= TFM_HAL_ACCESS_NS;
611 }
612
613 err = tfm_hal_memory_has_access((uintptr_t)buffer, len, attr);
614
615 if (err == TFM_HAL_SUCCESS) {
Ken Liubcae38b2021-01-20 15:47:44 +0800616 return SPM_SUCCESS;
Summer Qin2bfd2a02018-09-26 17:10:41 +0800617 }
618
Ken Liubcae38b2021-01-20 15:47:44 +0800619 return SPM_ERROR_MEMORY_CHECK;
Summer Qin2bfd2a02018-09-26 17:10:41 +0800620}
621
Ken Liuce2692d2020-02-11 12:39:36 +0800622uint32_t tfm_spm_init(void)
Edison Ai764d41f2018-09-21 15:56:36 +0800623{
Mingyang Sun61f8fbc2021-06-04 17:49:56 +0800624 uint32_t i, j;
625 bool privileged;
Mingyang Sunae70d8d2020-06-30 15:56:05 +0800626 struct partition_t *partition;
Summer Qin66f1e032020-01-06 15:40:03 +0800627 struct tfm_core_thread_t *pth, *p_ns_entry_thread = NULL;
Ken Liu86686282021-04-27 11:11:15 +0800628 const struct platform_data_t *platform_data_p;
Mingyang Sun8d004f72021-06-01 10:46:26 +0800629 const struct partition_load_info_t *p_ldinf;
Ken Liu4520ce32021-05-11 22:49:10 +0800630 struct asset_desc_t *p_asset_load;
David Huf07e97d2021-02-15 22:05:40 +0800631#ifdef TFM_FIH_PROFILE_ON
632 fih_int fih_rc = FIH_FAILURE;
633#endif
Edison Ai764d41f2018-09-21 15:56:36 +0800634
635 tfm_pool_init(conn_handle_pool,
636 POOL_BUFFER_SIZE(conn_handle_pool),
637 sizeof(struct tfm_conn_handle_t),
638 TFM_CONN_HANDLE_MAX_NUM);
Edison Ai764d41f2018-09-21 15:56:36 +0800639
Ken Liuacd2a572021-05-12 16:19:04 +0800640 while (1) {
641 partition = load_a_partition_assuredly();
642 if (partition == NULL) {
643 break;
Kevin Peng79c2bda2020-07-24 16:31:12 +0800644 }
645
Mingyang Sun8d004f72021-06-01 10:46:26 +0800646 p_ldinf = partition->p_ldinf;
Mingyang Sun2b352662021-04-21 11:35:43 +0800647
Kevin Peng27e42272021-05-24 17:58:53 +0800648 if (p_ldinf->nservices) {
649 load_services_assuredly(partition, &connection_services_listhead,
650 stateless_services_ref_tbl,
651 sizeof(stateless_services_ref_tbl));
652 }
653
654 if (p_ldinf->nirqs) {
655 load_irqs_assuredly(partition);
656 }
657
Ken Liuacd2a572021-05-12 16:19:04 +0800658 /* Init mmio assets */
Mingyang Sun8d004f72021-06-01 10:46:26 +0800659 if (p_ldinf->nassets > 0) {
660 if (tfm_spm_partition_get_privileged_mode(p_ldinf->flags) ==
Mingyang Sun61f8fbc2021-06-04 17:49:56 +0800661 TFM_PARTITION_PRIVILEGED_MODE) {
662 privileged = true;
663 } else {
664 privileged = false;
665 }
666 }
667
Mingyang Sun8d004f72021-06-01 10:46:26 +0800668 p_asset_load = (struct asset_desc_t *)LOAD_INFO_ASSET(p_ldinf);
669 for (i = 0; i < p_ldinf->nassets; i++) {
Ken Liu86686282021-04-27 11:11:15 +0800670 /* Skip the memory-based asset */
Ken Liu4520ce32021-05-11 22:49:10 +0800671 if (!(p_asset_load[i].attr & ASSET_DEV_REF_BIT)) {
Ken Liu86686282021-04-27 11:11:15 +0800672 continue;
Mate Toth-Pal8ac98a72019-11-21 17:30:10 +0100673 }
Ken Liu86686282021-04-27 11:11:15 +0800674
Ken Liuacd2a572021-05-12 16:19:04 +0800675 platform_data_p = REFERENCE_TO_PTR(p_asset_load[i].dev.addr_ref,
676 struct platform_data_t *);
Ken Liu25e09c72021-05-24 15:46:46 +0800677
678 /*
679 * TODO: some partitions declare MMIO not exist on specific
680 * platforms, and the platform defines a dummy NULL reference
681 * for these MMIO items, which cause 'nassets' to contain several
682 * NULL items. Skip these NULL items initialization temporarily to
683 * avoid HAL API panic.
684 * Eventually, these platform-specific partitions need to be moved
685 * into a platform-specific folder. Then this workaround can be
686 * removed.
687 */
688 if (!platform_data_p) {
689 continue;
690 }
691
Ken Liu86686282021-04-27 11:11:15 +0800692#ifdef TFM_FIH_PROFILE_ON
Mingyang Sun61f8fbc2021-06-04 17:49:56 +0800693 FIH_CALL(tfm_spm_hal_configure_default_isolation, fih_rc,
694 privileged, platform_data_p);
Ken Liu86686282021-04-27 11:11:15 +0800695 if (fih_not_eq(fih_rc, fih_int_encode(TFM_PLAT_ERR_SUCCESS))) {
696 tfm_core_panic();
697 }
698#else /* TFM_FIH_PROFILE_ON */
Mingyang Sun61f8fbc2021-06-04 17:49:56 +0800699 if (tfm_spm_hal_configure_default_isolation(privileged,
Ken Liu86686282021-04-27 11:11:15 +0800700 platform_data_p) != TFM_PLAT_ERR_SUCCESS) {
701 tfm_core_panic();
702 }
703#endif /* TFM_FIH_PROFILE_ON */
Mate Toth-Pal8ac98a72019-11-21 17:30:10 +0100704 }
705
Mingyang Sunaf22ffa2020-07-09 17:48:37 +0800706 partition->signals_allowed |= PSA_DOORBELL;
Shawn Shanc7dda0e2019-12-23 14:45:09 +0800707
Mingyang Sunaf22ffa2020-07-09 17:48:37 +0800708 tfm_event_init(&partition->event);
Ken Liu2c47f7f2021-01-22 11:06:04 +0800709 BI_LIST_INIT_NODE(&partition->msg_list);
Edison Ai764d41f2018-09-21 15:56:36 +0800710
Mingyang Sunaf22ffa2020-07-09 17:48:37 +0800711 pth = &partition->sp_thread;
Edison Ai764d41f2018-09-21 15:56:36 +0800712 if (!pth) {
Edison Ai9059ea02019-11-28 13:46:14 +0800713 tfm_core_panic();
Edison Ai764d41f2018-09-21 15:56:36 +0800714 }
715
Mingyang Sun8d004f72021-06-01 10:46:26 +0800716 /* Extendable partition load info is right after p_ldinf. */
Mingyang Sun2b352662021-04-21 11:35:43 +0800717 tfm_core_thrd_init(
718 pth,
Mingyang Sun8d004f72021-06-01 10:46:26 +0800719 POSITION_TO_ENTRY(p_ldinf->entry, tfm_core_thrd_entry_t),
Mingyang Sun2b352662021-04-21 11:35:43 +0800720 NULL,
Mingyang Sun8d004f72021-06-01 10:46:26 +0800721 LOAD_ALLOCED_STACK_ADDR(p_ldinf) + p_ldinf->stack_size,
722 LOAD_ALLOCED_STACK_ADDR(p_ldinf));
Edison Ai788bae22019-02-18 17:38:59 +0800723
Mingyang Sun8d004f72021-06-01 10:46:26 +0800724 pth->prior = TO_THREAD_PRIORITY(PARTITION_PRIORITY(p_ldinf->flags));
Edison Ai764d41f2018-09-21 15:56:36 +0800725
Mingyang Sun8d004f72021-06-01 10:46:26 +0800726 if (p_ldinf->pid == TFM_SP_NON_SECURE_ID) {
Ken Liu490281d2019-12-30 15:55:26 +0800727 p_ns_entry_thread = pth;
Ken Liu5248af22019-12-29 12:47:13 +0800728 pth->param = (void *)tfm_spm_hal_get_ns_entry_point();
Ken Liu490281d2019-12-30 15:55:26 +0800729 }
730
Edison Ai764d41f2018-09-21 15:56:36 +0800731 /* Kick off */
Summer Qin66f1e032020-01-06 15:40:03 +0800732 if (tfm_core_thrd_start(pth) != THRD_SUCCESS) {
Edison Ai9059ea02019-11-28 13:46:14 +0800733 tfm_core_panic();
Edison Ai764d41f2018-09-21 15:56:36 +0800734 }
Edison Ai764d41f2018-09-21 15:56:36 +0800735 }
736
Ken Liu483f5da2019-04-24 10:45:21 +0800737 /*
738 * All threads initialized, start the scheduler.
739 *
740 * NOTE:
Ken Liu490281d2019-12-30 15:55:26 +0800741 * It is worthy to give the thread object to scheduler if the background
742 * context belongs to one of the threads. Here the background thread is the
743 * initialization thread who calls SPM SVC, which re-uses the non-secure
744 * entry thread's stack. After SPM initialization is done, this stack is
745 * cleaned up and the background context is never going to return. Tell
746 * the scheduler that the current thread is non-secure entry thread.
Ken Liu483f5da2019-04-24 10:45:21 +0800747 */
Summer Qin66f1e032020-01-06 15:40:03 +0800748 tfm_core_thrd_start_scheduler(p_ns_entry_thread);
Ken Liuce2692d2020-02-11 12:39:36 +0800749
Summer Qind2ad7e72020-01-06 18:16:35 +0800750 return p_ns_entry_thread->arch_ctx.lr;
Edison Ai764d41f2018-09-21 15:56:36 +0800751}
Ken Liu2d175172019-03-21 17:08:41 +0800752
Summer Qind2ad7e72020-01-06 18:16:35 +0800753void tfm_pendsv_do_schedule(struct tfm_arch_ctx_t *p_actx)
Ken Liu2d175172019-03-21 17:08:41 +0800754{
Kevin Peng25b190b2020-10-30 17:10:45 +0800755#if TFM_LVL != 1
Mingyang Sunae70d8d2020-06-30 15:56:05 +0800756 struct partition_t *p_next_partition;
Ken Liu4520ce32021-05-11 22:49:10 +0800757 const struct partition_load_info_t *p_part_static;
Ken Liu2d175172019-03-21 17:08:41 +0800758 uint32_t is_privileged;
759#endif
Kevin Peng82fbca52021-03-09 13:48:48 +0800760 struct tfm_core_thread_t *pth_next = tfm_core_thrd_get_next();
761 struct tfm_core_thread_t *pth_curr = tfm_core_thrd_get_curr();
David Huf07e97d2021-02-15 22:05:40 +0800762#if defined(TFM_FIH_PROFILE_ON) && (TFM_LVL == 3)
763 fih_int fih_rc = FIH_FAILURE;
764#endif
Ken Liu2d175172019-03-21 17:08:41 +0800765
Mate Toth-Pal32b2ccd2019-04-26 10:00:16 +0200766 if (pth_next != NULL && pth_curr != pth_next) {
Kevin Peng25b190b2020-10-30 17:10:45 +0800767#if TFM_LVL != 1
Ken Liuc25558c2021-05-20 15:31:28 +0800768 p_next_partition = TO_CONTAINER(pth_next,
769 struct partition_t,
770 sp_thread);
Ken Liuacd2a572021-05-12 16:19:04 +0800771 p_part_static = p_next_partition->p_ldinf;
Ken Liu86686282021-04-27 11:11:15 +0800772 if (p_part_static->flags & SPM_PART_FLAG_PSA_ROT) {
Ken Liu2d175172019-03-21 17:08:41 +0800773 is_privileged = TFM_PARTITION_PRIVILEGED_MODE;
774 } else {
775 is_privileged = TFM_PARTITION_UNPRIVILEGED_MODE;
776 }
777
778 tfm_spm_partition_change_privilege(is_privileged);
Kevin Peng25b190b2020-10-30 17:10:45 +0800779#if TFM_LVL == 3
780 /*
781 * FIXME: To implement isolations among partitions in isolation level 3,
782 * each partition needs to run in unprivileged mode. Currently some
783 * PRoTs cannot work in unprivileged mode, make them privileged now.
784 */
785 if (is_privileged == TFM_PARTITION_UNPRIVILEGED_MODE) {
Ken Liu86686282021-04-27 11:11:15 +0800786 struct asset_desc_t *p_asset =
Ken Liu4520ce32021-05-11 22:49:10 +0800787 (struct asset_desc_t *)LOAD_INFO_ASSET(p_part_static);
Ken Liu86686282021-04-27 11:11:15 +0800788 /* Partition must have private data as the first asset in LVL3 */
789 if (p_part_static->nassets == 0) {
790 tfm_core_panic();
791 }
792 if (p_asset->attr & ASSET_DEV_REF_BIT) {
793 tfm_core_panic();
794 }
Kevin Peng25b190b2020-10-30 17:10:45 +0800795 /* FIXME: only MPU-based implementations are supported currently */
David Huf07e97d2021-02-15 22:05:40 +0800796#ifdef TFM_FIH_PROFILE_ON
797 FIH_CALL(tfm_hal_mpu_update_partition_boundary, fih_rc,
Ken Liu86686282021-04-27 11:11:15 +0800798 p_asset->mem.addr_x, p_asset->mem.addr_y);
David Huf07e97d2021-02-15 22:05:40 +0800799 if (fih_not_eq(fih_rc, fih_int_encode(TFM_HAL_SUCCESS))) {
800 tfm_core_panic();
801 }
802#else /* TFM_FIH_PROFILE_ON */
Ken Liu86686282021-04-27 11:11:15 +0800803 if (tfm_hal_mpu_update_partition_boundary(p_asset->mem.addr_x,
804 p_asset->mem.addr_y)
Kevin Peng25b190b2020-10-30 17:10:45 +0800805 != TFM_HAL_SUCCESS) {
806 tfm_core_panic();
807 }
David Huf07e97d2021-02-15 22:05:40 +0800808#endif /* TFM_FIH_PROFILE_ON */
Kevin Peng25b190b2020-10-30 17:10:45 +0800809 }
810#endif /* TFM_LVL == 3 */
811#endif /* TFM_LVL != 1 */
Mate Toth-Palc430b992019-05-09 21:01:14 +0200812
Summer Qind2ad7e72020-01-06 18:16:35 +0800813 tfm_core_thrd_switch_context(p_actx, pth_curr, pth_next);
Ken Liu2d175172019-03-21 17:08:41 +0800814 }
David Hufb38d562019-09-23 15:58:34 +0800815
816 /*
817 * Handle pending mailbox message from NS in multi-core topology.
818 * Empty operation on single Armv8-M platform.
819 */
820 tfm_rpc_client_call_handler();
Ken Liu2d175172019-03-21 17:08:41 +0800821}
Mingyang Sund44522a2020-01-16 16:48:37 +0800822
Summer Qin02f7f072020-08-24 16:02:54 +0800823void update_caller_outvec_len(struct tfm_msg_body_t *msg)
Mingyang Sund44522a2020-01-16 16:48:37 +0800824{
825 uint32_t i;
826
827 /*
828 * FixeMe: abstract these part into dedicated functions to avoid
829 * accessing thread context in psa layer
830 */
831 /* If it is a NS request via RPC, the owner of this message is not set */
832 if (!is_tfm_rpc_msg(msg)) {
833 TFM_CORE_ASSERT(msg->ack_evnt.owner->state == THRD_STATE_BLOCK);
834 }
835
836 for (i = 0; i < PSA_MAX_IOVEC; i++) {
837 if (msg->msg.out_size[i] == 0) {
838 continue;
839 }
840
841 TFM_CORE_ASSERT(msg->caller_outvec[i].base == msg->outvec[i].base);
842
843 msg->caller_outvec[i].len = msg->outvec[i].len;
844 }
845}
846
Summer Qin02f7f072020-08-24 16:02:54 +0800847void notify_with_signal(int32_t partition_id, psa_signal_t signal)
Mingyang Sund44522a2020-01-16 16:48:37 +0800848{
Mingyang Sunae70d8d2020-06-30 15:56:05 +0800849 struct partition_t *partition = NULL;
Mingyang Sund44522a2020-01-16 16:48:37 +0800850
851 /*
852 * The value of partition_id must be greater than zero as the target of
853 * notification must be a Secure Partition, providing a Non-secure
854 * Partition ID is a fatal error.
855 */
856 if (!TFM_CLIENT_ID_IS_S(partition_id)) {
857 tfm_core_panic();
858 }
859
860 /*
861 * It is a fatal error if partition_id does not correspond to a Secure
862 * Partition.
863 */
864 partition = tfm_spm_get_partition_by_id(partition_id);
865 if (!partition) {
866 tfm_core_panic();
867 }
868
Mingyang Sunaf22ffa2020-07-09 17:48:37 +0800869 partition->signals_asserted |= signal;
Mingyang Sund44522a2020-01-16 16:48:37 +0800870
Kevin Peng8dac6102021-03-09 16:44:00 +0800871 if (partition->signals_waiting & signal) {
872 tfm_event_wake(
873 &partition->event,
874 partition->signals_asserted & partition->signals_waiting);
875 partition->signals_waiting &= ~signal;
876 }
Mingyang Sund44522a2020-01-16 16:48:37 +0800877}
878
Mingyang Sund44522a2020-01-16 16:48:37 +0800879/**
Kevin Pengdc791882021-03-12 10:57:12 +0800880 * \brief Sets signal to partition for Second-Level Interrupt Handling mode IRQ
Mingyang Sund44522a2020-01-16 16:48:37 +0800881 *
882 * \param[in] partition_id The ID of the partition which handles this IRQ
883 * \param[in] signal The signal associated with this IRQ
884 * \param[in] irq_line The number of the IRQ line
885 *
886 * \retval void Success.
887 * \retval "Does not return" Partition ID is invalid
888 */
Kevin Pengdc791882021-03-12 10:57:12 +0800889void tfm_set_irq_signal(uint32_t partition_id, psa_signal_t signal,
890 uint32_t irq_line)
Mingyang Sund44522a2020-01-16 16:48:37 +0800891{
Kevin Pengdc791882021-03-12 10:57:12 +0800892 __disable_irq();
893
Mingyang Sund44522a2020-01-16 16:48:37 +0800894 tfm_spm_hal_disable_irq(irq_line);
895 notify_with_signal(partition_id, signal);
Kevin Pengdc791882021-03-12 10:57:12 +0800896
897 __enable_irq();
Mingyang Sund44522a2020-01-16 16:48:37 +0800898}
899
Kevin Peng27e42272021-05-24 17:58:53 +0800900struct irq_load_info_t *get_irq_info_for_signal(
901 const struct partition_load_info_t *p_ldinf,
902 psa_signal_t signal)
Mingyang Sund44522a2020-01-16 16:48:37 +0800903{
904 size_t i;
Kevin Peng27e42272021-05-24 17:58:53 +0800905 struct irq_load_info_t *irq_info;
Mingyang Sund44522a2020-01-16 16:48:37 +0800906
Ken Liu24dffb22021-02-10 11:03:58 +0800907 if (!IS_ONLY_ONE_BIT_IN_UINT32(signal)) {
Kevin Peng27e42272021-05-24 17:58:53 +0800908 return NULL;
Kevin Peng410bee52021-01-13 16:27:17 +0800909 }
910
Kevin Peng27e42272021-05-24 17:58:53 +0800911 irq_info = (struct irq_load_info_t *)LOAD_INFO_IRQ(p_ldinf);
912 for (i = 0; i < p_ldinf->nirqs; i++) {
913 if (irq_info[i].signal == signal) {
914 return &irq_info[i];
Mingyang Sund44522a2020-01-16 16:48:37 +0800915 }
916 }
Kevin Penga20b5af2021-01-11 11:20:52 +0800917
Kevin Peng27e42272021-05-24 17:58:53 +0800918 return NULL;
Mingyang Sund44522a2020-01-16 16:48:37 +0800919}
920
Summer Qindea1f2c2021-01-11 14:46:34 +0800921#if !defined(__ARM_ARCH_8_1M_MAIN__)
Mingyang Sunae70d8d2020-06-30 15:56:05 +0800922void tfm_spm_validate_caller(struct partition_t *p_cur_sp, uint32_t *p_ctx,
923 uint32_t exc_return, bool ns_caller)
Mingyang Sund44522a2020-01-16 16:48:37 +0800924{
925 uintptr_t stacked_ctx_pos;
926
927 if (ns_caller) {
928 /*
929 * The background IRQ can't be supported, since if SP is executing,
930 * the preempted context of SP can be different with the one who
931 * preempts veneer.
932 */
Ken Liuacd2a572021-05-12 16:19:04 +0800933 if (p_cur_sp->p_ldinf->pid != TFM_SP_NON_SECURE_ID) {
Mingyang Sund44522a2020-01-16 16:48:37 +0800934 tfm_core_panic();
935 }
936
937 /*
938 * It is non-secure caller, check if veneer stack contains
939 * multiple contexts.
940 */
941 stacked_ctx_pos = (uintptr_t)p_ctx +
942 sizeof(struct tfm_state_context_t) +
Ken Liu05e13ba2020-07-25 10:31:33 +0800943 TFM_STACK_SEALED_SIZE;
Mingyang Sund44522a2020-01-16 16:48:37 +0800944
945 if (is_stack_alloc_fp_space(exc_return)) {
Xinyu Zhang3a453242021-04-16 17:57:09 +0800946#if defined(__FPU_USED) && (__FPU_USED == 1U)
Mingyang Sund44522a2020-01-16 16:48:37 +0800947 if (FPU->FPCCR & FPU_FPCCR_TS_Msk) {
948 stacked_ctx_pos += TFM_ADDTIONAL_FP_CONTEXT_WORDS *
949 sizeof(uint32_t);
950 }
951#endif
952 stacked_ctx_pos += TFM_BASIC_FP_CONTEXT_WORDS * sizeof(uint32_t);
953 }
954
Mingyang Sunaf22ffa2020-07-09 17:48:37 +0800955 if (stacked_ctx_pos != p_cur_sp->sp_thread.stk_top) {
Mingyang Sund44522a2020-01-16 16:48:37 +0800956 tfm_core_panic();
957 }
Ken Liuacd2a572021-05-12 16:19:04 +0800958 } else if (p_cur_sp->p_ldinf->pid <= 0) {
Mingyang Sund44522a2020-01-16 16:48:37 +0800959 tfm_core_panic();
960 }
961}
Summer Qindea1f2c2021-01-11 14:46:34 +0800962#endif
Summer Qin830c5542020-02-14 13:44:20 +0800963
964void tfm_spm_request_handler(const struct tfm_state_context_t *svc_ctx)
965{
966 uint32_t *res_ptr = (uint32_t *)&svc_ctx->r0;
967 uint32_t running_partition_flags = 0;
Mingyang Sunae70d8d2020-06-30 15:56:05 +0800968 const struct partition_t *partition = NULL;
Summer Qin830c5542020-02-14 13:44:20 +0800969
970 /* Check permissions on request type basis */
971
972 switch (svc_ctx->r0) {
973 case TFM_SPM_REQUEST_RESET_VOTE:
974 partition = tfm_spm_get_running_partition();
975 if (!partition) {
976 tfm_core_panic();
977 }
Ken Liuacd2a572021-05-12 16:19:04 +0800978 running_partition_flags = partition->p_ldinf->flags;
Summer Qin830c5542020-02-14 13:44:20 +0800979
980 /* Currently only PSA Root of Trust services are allowed to make Reset
981 * vote request
982 */
983 if ((running_partition_flags & SPM_PART_FLAG_PSA_ROT) == 0) {
984 *res_ptr = (uint32_t)TFM_ERROR_GENERIC;
985 }
986
987 /* FixMe: this is a placeholder for checks to be performed before
988 * allowing execution of reset
989 */
990 *res_ptr = (uint32_t)TFM_SUCCESS;
991
992 break;
993 default:
994 *res_ptr = (uint32_t)TFM_ERROR_INVALID_PARAMETER;
995 }
996}