blob: bf4fd36feb73ab4878b6abe0e374c35936bd3e5b [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"
Ken Liu5d73c872021-08-19 19:23:17 +080014#include "thread.h"
Ken Liubcae38b2021-01-20 15:47:44 +080015#include "internal_errors.h"
Mingyang Sund44522a2020-01-16 16:48:37 +080016#include "tfm_spm_hal.h"
Mingyang Sund44522a2020-01-16 16:48:37 +080017#include "tfm_api.h"
18#include "tfm_secure_api.h"
19#include "tfm_memory_utils.h"
Mingyang Sund1ed6732020-08-26 15:52:21 +080020#include "tfm_hal_defs.h"
Kevin Pengd399a1f2021-09-08 15:33:14 +080021#include "tfm_hal_interrupt.h"
Mingyang Sund1ed6732020-08-26 15:52:21 +080022#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"
Kevin Peng385fda82021-08-18 10:41:19 +080026#include "tfm_nspm.h"
Mingyang Sund44522a2020-01-16 16:48:37 +080027#include "tfm_rpc.h"
Mingyang Sund44522a2020-01-16 16:48:37 +080028#include "tfm_core_trustzone.h"
Ken Liu24dffb22021-02-10 11:03:58 +080029#include "lists.h"
Edison Ai764d41f2018-09-21 15:56:36 +080030#include "tfm_pools.h"
Mingyang Sun22a3faf2021-07-09 15:32:47 +080031#include "region.h"
Mingyang Sun7397b4f2020-06-17 15:07:45 +080032#include "psa_manifest/pid.h"
Mingyang Sundeae45d2021-09-06 15:31:07 +080033#include "ffm/backend.h"
Mingyang Sun00df2352021-04-15 15:46:08 +080034#include "load/partition_defs.h"
35#include "load/service_defs.h"
Ken Liu86686282021-04-27 11:11:15 +080036#include "load/asset_defs.h"
Ken Liuacd2a572021-05-12 16:19:04 +080037#include "load/spm_load_api.h"
Sherry Zhnag482b88b2021-08-19 17:51:47 +080038#include "tfm_nspm.h"
Edison Ai764d41f2018-09-21 15:56:36 +080039
Ken Liuea45b0d2021-05-22 17:41:25 +080040/* Partition and service runtime data list head/runtime data table */
Ken Liuea45b0d2021-05-22 17:41:25 +080041static struct service_head_t services_listhead;
Ken Liub3b2cb62021-05-22 00:39:28 +080042struct service_t *stateless_services_ref_tbl[STATIC_HANDLE_NUM_LIMIT];
Summer Qind99509f2019-08-02 17:36:58 +080043
Edison Ai764d41f2018-09-21 15:56:36 +080044/* Pools */
45TFM_POOL_DECLARE(conn_handle_pool, sizeof(struct tfm_conn_handle_t),
46 TFM_CONN_HANDLE_MAX_NUM);
Edison Ai764d41f2018-09-21 15:56:36 +080047
Summer Qin373feb12020-03-27 15:35:33 +080048/*********************** Connection handle conversion APIs *******************/
49
Summer Qin373feb12020-03-27 15:35:33 +080050#define CONVERSION_FACTOR_BITOFFSET 3
51#define CONVERSION_FACTOR_VALUE (1 << CONVERSION_FACTOR_BITOFFSET)
52/* Set 32 as the maximum */
53#define CONVERSION_FACTOR_VALUE_MAX 0x20
54
55#if CONVERSION_FACTOR_VALUE > CONVERSION_FACTOR_VALUE_MAX
56#error "CONVERSION FACTOR OUT OF RANGE"
57#endif
58
59static uint32_t loop_index;
60
61/*
62 * A handle instance psa_handle_t allocated inside SPM is actually a memory
63 * address among the handle pool. Return this handle to the client directly
64 * exposes information of secure memory address. In this case, converting the
65 * handle into another value does not represent the memory address to avoid
66 * exposing secure memory directly to clients.
67 *
68 * This function converts the handle instance into another value by scaling the
69 * handle in pool offset, the converted value is named as a user handle.
70 *
71 * The formula:
72 * user_handle = (handle_instance - POOL_START) * CONVERSION_FACTOR_VALUE +
73 * CLIENT_HANDLE_VALUE_MIN + loop_index
74 * where:
75 * CONVERSION_FACTOR_VALUE = 1 << CONVERSION_FACTOR_BITOFFSET, and should not
76 * exceed CONVERSION_FACTOR_VALUE_MAX.
77 *
78 * handle_instance in RANGE[POOL_START, POOL_END]
79 * user_handle in RANGE[CLIENT_HANDLE_VALUE_MIN, 0x3FFFFFFF]
80 * loop_index in RANGE[0, CONVERSION_FACTOR_VALUE - 1]
81 *
82 * note:
83 * loop_index is used to promise same handle instance is converted into
84 * different user handles in short time.
85 */
Ken Liu505b1702020-05-29 13:19:58 +080086psa_handle_t tfm_spm_to_user_handle(struct tfm_conn_handle_t *handle_instance)
Summer Qin373feb12020-03-27 15:35:33 +080087{
88 psa_handle_t user_handle;
89
90 loop_index = (loop_index + 1) % CONVERSION_FACTOR_VALUE;
91 user_handle = (psa_handle_t)((((uintptr_t)handle_instance -
92 (uintptr_t)conn_handle_pool) << CONVERSION_FACTOR_BITOFFSET) +
93 CLIENT_HANDLE_VALUE_MIN + loop_index);
94
95 return user_handle;
96}
97
98/*
99 * This function converts a user handle into a corresponded handle instance.
100 * The converted value is validated before returning, an invalid handle instance
101 * is returned as NULL.
102 *
103 * The formula:
104 * handle_instance = ((user_handle - CLIENT_HANDLE_VALUE_MIN) /
105 * CONVERSION_FACTOR_VALUE) + POOL_START
106 * where:
107 * CONVERSION_FACTOR_VALUE = 1 << CONVERSION_FACTOR_BITOFFSET, and should not
108 * exceed CONVERSION_FACTOR_VALUE_MAX.
109 *
110 * handle_instance in RANGE[POOL_START, POOL_END]
111 * user_handle in RANGE[CLIENT_HANDLE_VALUE_MIN, 0x3FFFFFFF]
112 * loop_index in RANGE[0, CONVERSION_FACTOR_VALUE - 1]
113 */
114struct tfm_conn_handle_t *tfm_spm_to_handle_instance(psa_handle_t user_handle)
115{
116 struct tfm_conn_handle_t *handle_instance;
117
118 if (user_handle == PSA_NULL_HANDLE) {
119 return NULL;
120 }
121
122 handle_instance = (struct tfm_conn_handle_t *)((((uintptr_t)user_handle -
123 CLIENT_HANDLE_VALUE_MIN) >> CONVERSION_FACTOR_BITOFFSET) +
124 (uintptr_t)conn_handle_pool);
125
126 return handle_instance;
127}
128
Edison Ai764d41f2018-09-21 15:56:36 +0800129/* Service handle management functions */
Mingyang Sun783a59b2021-04-20 15:52:18 +0800130struct tfm_conn_handle_t *tfm_spm_create_conn_handle(struct service_t *service,
131 int32_t client_id)
Edison Ai764d41f2018-09-21 15:56:36 +0800132{
Edison Ai9cc26242019-08-06 11:28:04 +0800133 struct tfm_conn_handle_t *p_handle;
Edison Ai764d41f2018-09-21 15:56:36 +0800134
Ken Liuf250b8b2019-12-27 16:31:24 +0800135 TFM_CORE_ASSERT(service);
Edison Ai764d41f2018-09-21 15:56:36 +0800136
137 /* Get buffer for handle list structure from handle pool */
Edison Ai9cc26242019-08-06 11:28:04 +0800138 p_handle = (struct tfm_conn_handle_t *)tfm_pool_alloc(conn_handle_pool);
139 if (!p_handle) {
Summer Qin630c76b2020-05-20 10:32:58 +0800140 return NULL;
Edison Ai764d41f2018-09-21 15:56:36 +0800141 }
142
Edison Ai9cc26242019-08-06 11:28:04 +0800143 p_handle->service = service;
Shawn Shancc39fcb2019-11-13 15:38:16 +0800144 p_handle->status = TFM_HANDLE_STATUS_IDLE;
Summer Qin1ce712a2019-10-14 18:04:05 +0800145 p_handle->client_id = client_id;
Edison Ai764d41f2018-09-21 15:56:36 +0800146
147 /* Add handle node to list for next psa functions */
Ken Liu2c47f7f2021-01-22 11:06:04 +0800148 BI_LIST_INSERT_BEFORE(&service->handle_list, &p_handle->list);
Edison Ai764d41f2018-09-21 15:56:36 +0800149
Summer Qin630c76b2020-05-20 10:32:58 +0800150 return p_handle;
Edison Ai764d41f2018-09-21 15:56:36 +0800151}
152
Summer Qin630c76b2020-05-20 10:32:58 +0800153int32_t tfm_spm_validate_conn_handle(
154 const struct tfm_conn_handle_t *conn_handle,
155 int32_t client_id)
Summer Qin1ce712a2019-10-14 18:04:05 +0800156{
157 /* Check the handle address is validated */
158 if (is_valid_chunk_data_in_pool(conn_handle_pool,
159 (uint8_t *)conn_handle) != true) {
Ken Liubcae38b2021-01-20 15:47:44 +0800160 return SPM_ERROR_GENERIC;
Summer Qin1ce712a2019-10-14 18:04:05 +0800161 }
162
163 /* Check the handle caller is correct */
Summer Qin630c76b2020-05-20 10:32:58 +0800164 if (conn_handle->client_id != client_id) {
Ken Liubcae38b2021-01-20 15:47:44 +0800165 return SPM_ERROR_GENERIC;
Summer Qin1ce712a2019-10-14 18:04:05 +0800166 }
167
Ken Liubcae38b2021-01-20 15:47:44 +0800168 return SPM_SUCCESS;
Summer Qin1ce712a2019-10-14 18:04:05 +0800169}
170
Mingyang Sun783a59b2021-04-20 15:52:18 +0800171int32_t tfm_spm_free_conn_handle(struct service_t *service,
Summer Qin02f7f072020-08-24 16:02:54 +0800172 struct tfm_conn_handle_t *conn_handle)
Edison Ai764d41f2018-09-21 15:56:36 +0800173{
Ken Liuf250b8b2019-12-27 16:31:24 +0800174 TFM_CORE_ASSERT(service);
Summer Qin630c76b2020-05-20 10:32:58 +0800175 TFM_CORE_ASSERT(conn_handle != NULL);
Edison Ai764d41f2018-09-21 15:56:36 +0800176
Mate Toth-Pala4b5d242019-09-23 09:14:47 +0200177 /* Clear magic as the handler is not used anymore */
Summer Qin630c76b2020-05-20 10:32:58 +0800178 conn_handle->internal_msg.magic = 0;
Mate Toth-Pala4b5d242019-09-23 09:14:47 +0200179
Edison Ai764d41f2018-09-21 15:56:36 +0800180 /* Remove node from handle list */
Ken Liu2c47f7f2021-01-22 11:06:04 +0800181 BI_LIST_REMOVE_NODE(&conn_handle->list);
Edison Ai764d41f2018-09-21 15:56:36 +0800182
183 /* Back handle buffer to pool */
Ken Liu66ca6132021-02-24 08:49:51 +0800184 tfm_pool_free(conn_handle_pool, conn_handle);
Ken Liubcae38b2021-01-20 15:47:44 +0800185 return SPM_SUCCESS;
Edison Ai764d41f2018-09-21 15:56:36 +0800186}
187
Mingyang Sun783a59b2021-04-20 15:52:18 +0800188int32_t tfm_spm_set_rhandle(struct service_t *service,
Summer Qin02f7f072020-08-24 16:02:54 +0800189 struct tfm_conn_handle_t *conn_handle,
190 void *rhandle)
Edison Ai764d41f2018-09-21 15:56:36 +0800191{
Ken Liuf250b8b2019-12-27 16:31:24 +0800192 TFM_CORE_ASSERT(service);
Edison Ai764d41f2018-09-21 15:56:36 +0800193 /* Set reverse handle value only be allowed for a connected handle */
Summer Qin630c76b2020-05-20 10:32:58 +0800194 TFM_CORE_ASSERT(conn_handle != NULL);
Edison Ai764d41f2018-09-21 15:56:36 +0800195
Summer Qin630c76b2020-05-20 10:32:58 +0800196 conn_handle->rhandle = rhandle;
Ken Liubcae38b2021-01-20 15:47:44 +0800197 return SPM_SUCCESS;
Edison Ai764d41f2018-09-21 15:56:36 +0800198}
199
Mingyang Sund44522a2020-01-16 16:48:37 +0800200/**
Xinyu Zhang3a453242021-04-16 17:57:09 +0800201 * \brief Get reverse handle value from connection handle.
Mingyang Sund44522a2020-01-16 16:48:37 +0800202 *
203 * \param[in] service Target service context pointer
204 * \param[in] conn_handle Connection handle created by
Summer Qin630c76b2020-05-20 10:32:58 +0800205 * tfm_spm_create_conn_handle()
Mingyang Sund44522a2020-01-16 16:48:37 +0800206 *
207 * \retval void * Success
208 * \retval "Does not return" Panic for those:
209 * service pointer are NULL
Xinyu Zhang3a453242021-04-16 17:57:09 +0800210 * handle is \ref PSA_NULL_HANDLE
Mingyang Sund44522a2020-01-16 16:48:37 +0800211 * handle node does not be found
212 */
Mingyang Sun783a59b2021-04-20 15:52:18 +0800213static void *tfm_spm_get_rhandle(struct service_t *service,
Summer Qin630c76b2020-05-20 10:32:58 +0800214 struct tfm_conn_handle_t *conn_handle)
Edison Ai764d41f2018-09-21 15:56:36 +0800215{
Ken Liuf250b8b2019-12-27 16:31:24 +0800216 TFM_CORE_ASSERT(service);
Edison Ai764d41f2018-09-21 15:56:36 +0800217 /* Get reverse handle value only be allowed for a connected handle */
Summer Qin630c76b2020-05-20 10:32:58 +0800218 TFM_CORE_ASSERT(conn_handle != NULL);
Edison Ai764d41f2018-09-21 15:56:36 +0800219
Summer Qin630c76b2020-05-20 10:32:58 +0800220 return conn_handle->rhandle;
Edison Ai764d41f2018-09-21 15:56:36 +0800221}
222
223/* Partition management functions */
Mingyang Sund44522a2020-01-16 16:48:37 +0800224
Summer Qin02f7f072020-08-24 16:02:54 +0800225struct tfm_msg_body_t *tfm_spm_get_msg_by_signal(struct partition_t *partition,
226 psa_signal_t signal)
Edison Ai764d41f2018-09-21 15:56:36 +0800227{
Ken Liu2c47f7f2021-01-22 11:06:04 +0800228 struct bi_list_node_t *node, *head;
Mingyang Sun73056b62020-07-03 15:18:46 +0800229 struct tfm_msg_body_t *tmp_msg, *msg = NULL;
Edison Ai764d41f2018-09-21 15:56:36 +0800230
Ken Liuf250b8b2019-12-27 16:31:24 +0800231 TFM_CORE_ASSERT(partition);
Edison Ai764d41f2018-09-21 15:56:36 +0800232
Mingyang Sunaf22ffa2020-07-09 17:48:37 +0800233 head = &partition->msg_list;
Mingyang Sun73056b62020-07-03 15:18:46 +0800234
Ken Liu2c47f7f2021-01-22 11:06:04 +0800235 if (BI_LIST_IS_EMPTY(head)) {
Mingyang Sun73056b62020-07-03 15:18:46 +0800236 return NULL;
Edison Ai764d41f2018-09-21 15:56:36 +0800237 }
238
Mingyang Sun73056b62020-07-03 15:18:46 +0800239 /*
240 * There may be multiple messages for this RoT Service signal, do not clear
241 * partition mask until no remaining message. Search may be optimized.
242 */
Ken Liu2c47f7f2021-01-22 11:06:04 +0800243 BI_LIST_FOR_EACH(node, head) {
Ken Liuc25558c2021-05-20 15:31:28 +0800244 tmp_msg = TO_CONTAINER(node, struct tfm_msg_body_t, msg_node);
Ken Liuacd2a572021-05-12 16:19:04 +0800245 if (tmp_msg->service->p_ldinf->signal == signal && msg) {
Mingyang Sun73056b62020-07-03 15:18:46 +0800246 return msg;
Ken Liuacd2a572021-05-12 16:19:04 +0800247 } else if (tmp_msg->service->p_ldinf->signal == signal) {
Mingyang Sun73056b62020-07-03 15:18:46 +0800248 msg = tmp_msg;
Ken Liu2c47f7f2021-01-22 11:06:04 +0800249 BI_LIST_REMOVE_NODE(node);
Edison Ai764d41f2018-09-21 15:56:36 +0800250 }
251 }
Mingyang Sun73056b62020-07-03 15:18:46 +0800252
Mingyang Sunaf22ffa2020-07-09 17:48:37 +0800253 partition->signals_asserted &= ~signal;
Mingyang Sun73056b62020-07-03 15:18:46 +0800254
255 return msg;
Edison Ai764d41f2018-09-21 15:56:36 +0800256}
257
Mingyang Sunda30f1e2020-07-13 17:20:32 +0800258uint32_t tfm_spm_partition_get_privileged_mode(uint32_t partition_flags)
259{
Kevin Pengbf9a97e2021-06-18 16:34:12 +0800260#if TFM_LVL == 1
261 return TFM_PARTITION_PRIVILEGED_MODE;
262#else /* TFM_LVL == 1 */
Shawn Shana3657e82021-10-18 14:37:09 +0800263 if (partition_flags & PARTITION_MODEL_PSA_ROT) {
Mingyang Sunda30f1e2020-07-13 17:20:32 +0800264 return TFM_PARTITION_PRIVILEGED_MODE;
265 } else {
266 return TFM_PARTITION_UNPRIVILEGED_MODE;
267 }
Kevin Pengbf9a97e2021-06-18 16:34:12 +0800268#endif /* TFM_LVL == 1 */
Mingyang Sunda30f1e2020-07-13 17:20:32 +0800269}
270
Mingyang Sun783a59b2021-04-20 15:52:18 +0800271struct service_t *tfm_spm_get_service_by_sid(uint32_t sid)
Edison Ai764d41f2018-09-21 15:56:36 +0800272{
Feder.Liangaeb5a792021-08-10 16:12:56 +0800273 struct service_t *p_prev, *p_curr;
Edison Ai764d41f2018-09-21 15:56:36 +0800274
Feder.Liangaeb5a792021-08-10 16:12:56 +0800275 UNI_LIST_FOR_EACH_PREV(p_prev, p_curr, &services_listhead) {
276 if (p_curr->p_ldinf->sid == sid) {
277 UNI_LIST_MOVE_AFTER(&services_listhead, p_prev, p_curr);
278 return p_curr;
Mingyang Sunef42f442021-06-11 15:07:58 +0800279 }
280 }
281
Ken Liuea45b0d2021-05-22 17:41:25 +0800282 return NULL;
Edison Ai764d41f2018-09-21 15:56:36 +0800283}
284
Mingyang Sund44522a2020-01-16 16:48:37 +0800285/**
286 * \brief Get the partition context by partition ID.
287 *
288 * \param[in] partition_id Partition identity
289 *
290 * \retval NULL Failed
291 * \retval "Not NULL" Target partition context pointer,
Mingyang Sunae70d8d2020-06-30 15:56:05 +0800292 * \ref partition_t structures
Mingyang Sund44522a2020-01-16 16:48:37 +0800293 */
Kevin Pengeca45b92021-02-09 14:46:50 +0800294struct partition_t *tfm_spm_get_partition_by_id(int32_t partition_id)
Edison Ai764d41f2018-09-21 15:56:36 +0800295{
Ken Liuea45b0d2021-05-22 17:41:25 +0800296 struct partition_t *p_part;
Edison Ai764d41f2018-09-21 15:56:36 +0800297
Mingyang Sundeae45d2021-09-06 15:31:07 +0800298 UNI_LIST_FOR_EACH(p_part, PARTITION_LIST_ADDR) {
Ken Liuea45b0d2021-05-22 17:41:25 +0800299 if (p_part->p_ldinf->pid == partition_id) {
300 return p_part;
301 }
Edison Ai764d41f2018-09-21 15:56:36 +0800302 }
Ken Liuea45b0d2021-05-22 17:41:25 +0800303
Edison Ai764d41f2018-09-21 15:56:36 +0800304 return NULL;
305}
306
Mingyang Sunae70d8d2020-06-30 15:56:05 +0800307struct partition_t *tfm_spm_get_running_partition(void)
Edison Ai764d41f2018-09-21 15:56:36 +0800308{
Mingyang Sun4f08f4d2021-09-10 17:41:28 +0800309 return GET_THRD_OWNER(CURRENT_THREAD);
Edison Ai764d41f2018-09-21 15:56:36 +0800310}
311
Mingyang Sun783a59b2021-04-20 15:52:18 +0800312int32_t tfm_spm_check_client_version(struct service_t *service,
Jaykumar Pitambarbhai Patel3a986022019-10-08 17:37:15 +0530313 uint32_t version)
Edison Ai764d41f2018-09-21 15:56:36 +0800314{
Ken Liuf250b8b2019-12-27 16:31:24 +0800315 TFM_CORE_ASSERT(service);
Edison Ai764d41f2018-09-21 15:56:36 +0800316
Ken Liuacd2a572021-05-12 16:19:04 +0800317 switch (SERVICE_GET_VERSION_POLICY(service->p_ldinf->flags)) {
Ken Liub3b2cb62021-05-22 00:39:28 +0800318 case SERVICE_VERSION_POLICY_RELAXED:
Ken Liuacd2a572021-05-12 16:19:04 +0800319 if (version > service->p_ldinf->version) {
Ken Liubcae38b2021-01-20 15:47:44 +0800320 return SPM_ERROR_VERSION;
Edison Ai764d41f2018-09-21 15:56:36 +0800321 }
322 break;
Ken Liub3b2cb62021-05-22 00:39:28 +0800323 case SERVICE_VERSION_POLICY_STRICT:
Ken Liuacd2a572021-05-12 16:19:04 +0800324 if (version != service->p_ldinf->version) {
Ken Liubcae38b2021-01-20 15:47:44 +0800325 return SPM_ERROR_VERSION;
Edison Ai764d41f2018-09-21 15:56:36 +0800326 }
327 break;
328 default:
Ken Liubcae38b2021-01-20 15:47:44 +0800329 return SPM_ERROR_VERSION;
Edison Ai764d41f2018-09-21 15:56:36 +0800330 }
Ken Liubcae38b2021-01-20 15:47:44 +0800331 return SPM_SUCCESS;
Edison Ai764d41f2018-09-21 15:56:36 +0800332}
333
Edison Aie728fbf2019-11-13 09:37:12 +0800334int32_t tfm_spm_check_authorization(uint32_t sid,
Mingyang Sun783a59b2021-04-20 15:52:18 +0800335 struct service_t *service,
Summer Qin618e8c32019-12-09 10:47:20 +0800336 bool ns_caller)
Edison Aie728fbf2019-11-13 09:37:12 +0800337{
Mingyang Sunae70d8d2020-06-30 15:56:05 +0800338 struct partition_t *partition = NULL;
Mingyang Sun2b352662021-04-21 11:35:43 +0800339 uint32_t *dep;
Edison Aie728fbf2019-11-13 09:37:12 +0800340 int32_t i;
341
Ken Liuf250b8b2019-12-27 16:31:24 +0800342 TFM_CORE_ASSERT(service);
Edison Aie728fbf2019-11-13 09:37:12 +0800343
344 if (ns_caller) {
Ken Liuacd2a572021-05-12 16:19:04 +0800345 if (!SERVICE_IS_NS_ACCESSIBLE(service->p_ldinf->flags)) {
Ken Liubcae38b2021-01-20 15:47:44 +0800346 return SPM_ERROR_GENERIC;
Edison Aie728fbf2019-11-13 09:37:12 +0800347 }
348 } else {
349 partition = tfm_spm_get_running_partition();
350 if (!partition) {
Edison Ai9059ea02019-11-28 13:46:14 +0800351 tfm_core_panic();
Edison Aie728fbf2019-11-13 09:37:12 +0800352 }
353
Ken Liuacd2a572021-05-12 16:19:04 +0800354 dep = (uint32_t *)LOAD_INFO_DEPS(partition->p_ldinf);
355 for (i = 0; i < partition->p_ldinf->ndeps; i++) {
Mingyang Sun2b352662021-04-21 11:35:43 +0800356 if (dep[i] == sid) {
Edison Aie728fbf2019-11-13 09:37:12 +0800357 break;
358 }
359 }
360
Ken Liuacd2a572021-05-12 16:19:04 +0800361 if (i == partition->p_ldinf->ndeps) {
Ken Liubcae38b2021-01-20 15:47:44 +0800362 return SPM_ERROR_GENERIC;
Edison Aie728fbf2019-11-13 09:37:12 +0800363 }
364 }
Ken Liubcae38b2021-01-20 15:47:44 +0800365 return SPM_SUCCESS;
Edison Aie728fbf2019-11-13 09:37:12 +0800366}
367
Edison Ai764d41f2018-09-21 15:56:36 +0800368/* Message functions */
Mingyang Sund44522a2020-01-16 16:48:37 +0800369
Summer Qin02f7f072020-08-24 16:02:54 +0800370struct tfm_msg_body_t *tfm_spm_get_msg_from_handle(psa_handle_t msg_handle)
Edison Ai764d41f2018-09-21 15:56:36 +0800371{
372 /*
Mate Toth-Pala4b5d242019-09-23 09:14:47 +0200373 * The message handler passed by the caller is considered invalid in the
374 * following cases:
375 * 1. Not a valid message handle. (The address of a message is not the
376 * address of a possible handle from the pool
377 * 2. Handle not belongs to the caller partition (The handle is either
378 * unused, or owned by anither partition)
379 * Check the conditions above
Edison Ai764d41f2018-09-21 15:56:36 +0800380 */
Ken Liu505b1702020-05-29 13:19:58 +0800381 struct tfm_msg_body_t *p_msg;
Kevin Pengeec41a82021-08-18 13:56:23 +0800382 int32_t partition_id;
Ken Liu505b1702020-05-29 13:19:58 +0800383 struct tfm_conn_handle_t *p_conn_handle =
Ken Liu5d73c872021-08-19 19:23:17 +0800384 tfm_spm_to_handle_instance(msg_handle);
Mate Toth-Pala4b5d242019-09-23 09:14:47 +0200385
386 if (is_valid_chunk_data_in_pool(
Ken Liu505b1702020-05-29 13:19:58 +0800387 conn_handle_pool, (uint8_t *)p_conn_handle) != 1) {
Edison Ai764d41f2018-09-21 15:56:36 +0800388 return NULL;
389 }
390
Ken Liu505b1702020-05-29 13:19:58 +0800391 p_msg = &p_conn_handle->internal_msg;
392
Edison Ai764d41f2018-09-21 15:56:36 +0800393 /*
Mate Toth-Pala4b5d242019-09-23 09:14:47 +0200394 * Check that the magic number is correct. This proves that the message
395 * structure contains an active message.
Edison Ai764d41f2018-09-21 15:56:36 +0800396 */
Ken Liu505b1702020-05-29 13:19:58 +0800397 if (p_msg->magic != TFM_MSG_MAGIC) {
Edison Ai764d41f2018-09-21 15:56:36 +0800398 return NULL;
399 }
400
Mate Toth-Pala4b5d242019-09-23 09:14:47 +0200401 /* Check that the running partition owns the message */
Mingyang Sunf3d29892019-07-10 17:50:23 +0800402 partition_id = tfm_spm_partition_get_running_partition_id();
Ken Liuacd2a572021-05-12 16:19:04 +0800403 if (partition_id != p_msg->service->partition->p_ldinf->pid) {
Edison Ai764d41f2018-09-21 15:56:36 +0800404 return NULL;
405 }
406
Ken Liu505b1702020-05-29 13:19:58 +0800407 return p_msg;
Edison Ai764d41f2018-09-21 15:56:36 +0800408}
409
Kevin Pengdf6aa292021-03-11 17:58:50 +0800410struct tfm_msg_body_t *
411 tfm_spm_get_msg_buffer_from_conn_handle(struct tfm_conn_handle_t *conn_handle)
412{
413 TFM_CORE_ASSERT(conn_handle != NULL);
414
415 return &(conn_handle->internal_msg);
416}
417
Edison Ai97115822019-08-01 14:22:19 +0800418void tfm_spm_fill_msg(struct tfm_msg_body_t *msg,
Mingyang Sun783a59b2021-04-20 15:52:18 +0800419 struct service_t *service,
Ken Liu505b1702020-05-29 13:19:58 +0800420 psa_handle_t handle,
Summer Qin1ce712a2019-10-14 18:04:05 +0800421 int32_t type, int32_t client_id,
Edison Ai97115822019-08-01 14:22:19 +0800422 psa_invec *invec, size_t in_len,
423 psa_outvec *outvec, size_t out_len,
424 psa_outvec *caller_outvec)
425{
Edison Ai764d41f2018-09-21 15:56:36 +0800426 uint32_t i;
Ken Liu505b1702020-05-29 13:19:58 +0800427 struct tfm_conn_handle_t *conn_handle;
Edison Ai764d41f2018-09-21 15:56:36 +0800428
Ken Liuf250b8b2019-12-27 16:31:24 +0800429 TFM_CORE_ASSERT(msg);
430 TFM_CORE_ASSERT(service);
431 TFM_CORE_ASSERT(!(invec == NULL && in_len != 0));
432 TFM_CORE_ASSERT(!(outvec == NULL && out_len != 0));
433 TFM_CORE_ASSERT(in_len <= PSA_MAX_IOVEC);
434 TFM_CORE_ASSERT(out_len <= PSA_MAX_IOVEC);
435 TFM_CORE_ASSERT(in_len + out_len <= PSA_MAX_IOVEC);
Edison Ai764d41f2018-09-21 15:56:36 +0800436
Edison Ai764d41f2018-09-21 15:56:36 +0800437 /* Clear message buffer before using it */
Summer Qinf24dbb52020-07-23 14:53:54 +0800438 spm_memset(msg, 0, sizeof(struct tfm_msg_body_t));
Edison Ai764d41f2018-09-21 15:56:36 +0800439
Ken Liu5d73c872021-08-19 19:23:17 +0800440 THRD_SYNC_INIT(&msg->ack_evnt);
Edison Ai764d41f2018-09-21 15:56:36 +0800441 msg->magic = TFM_MSG_MAGIC;
442 msg->service = service;
Edison Ai764d41f2018-09-21 15:56:36 +0800443 msg->caller_outvec = caller_outvec;
Summer Qin1ce712a2019-10-14 18:04:05 +0800444 msg->msg.client_id = client_id;
Edison Ai764d41f2018-09-21 15:56:36 +0800445
446 /* Copy contents */
447 msg->msg.type = type;
448
449 for (i = 0; i < in_len; i++) {
450 msg->msg.in_size[i] = invec[i].len;
451 msg->invec[i].base = invec[i].base;
452 }
453
454 for (i = 0; i < out_len; i++) {
455 msg->msg.out_size[i] = outvec[i].len;
456 msg->outvec[i].base = outvec[i].base;
457 /* Out len is used to record the writed number, set 0 here again */
458 msg->outvec[i].len = 0;
459 }
460
Ken Liu505b1702020-05-29 13:19:58 +0800461 /* Use the user connect handle as the message handle */
462 msg->msg.handle = handle;
Edison Ai764d41f2018-09-21 15:56:36 +0800463
Ken Liu505b1702020-05-29 13:19:58 +0800464 conn_handle = tfm_spm_to_handle_instance(handle);
Edison Ai764d41f2018-09-21 15:56:36 +0800465 /* For connected handle, set rhandle to every message */
Ken Liu505b1702020-05-29 13:19:58 +0800466 if (conn_handle) {
467 msg->msg.rhandle = tfm_spm_get_rhandle(service, conn_handle);
Edison Ai764d41f2018-09-21 15:56:36 +0800468 }
David Hu46603dd2019-12-11 18:05:16 +0800469
470 /* Set the private data of NSPE client caller in multi-core topology */
471 if (TFM_CLIENT_ID_IS_NS(client_id)) {
472 tfm_rpc_set_caller_data(msg, client_id);
473 }
Edison Ai764d41f2018-09-21 15:56:36 +0800474}
475
Kevin Pengeec41a82021-08-18 13:56:23 +0800476int32_t tfm_spm_partition_get_running_partition_id(void)
Edison Ai764d41f2018-09-21 15:56:36 +0800477{
Mingyang Sunae70d8d2020-06-30 15:56:05 +0800478 struct partition_t *partition;
Edison Ai764d41f2018-09-21 15:56:36 +0800479
Kevin Peng79c2bda2020-07-24 16:31:12 +0800480 partition = tfm_spm_get_running_partition();
Ken Liuacd2a572021-05-12 16:19:04 +0800481 if (partition && partition->p_ldinf) {
482 return partition->p_ldinf->pid;
Kevin Peng79c2bda2020-07-24 16:31:12 +0800483 } else {
484 return INVALID_PARTITION_ID;
485 }
Edison Ai764d41f2018-09-21 15:56:36 +0800486}
487
Summer Qin43c185d2019-10-10 15:44:42 +0800488int32_t tfm_memory_check(const void *buffer, size_t len, bool ns_caller,
Summer Qineb537e52019-03-29 09:57:10 +0800489 enum tfm_memory_access_e access,
490 uint32_t privileged)
Summer Qin2bfd2a02018-09-26 17:10:41 +0800491{
Mingyang Sund1ed6732020-08-26 15:52:21 +0800492 enum tfm_hal_status_t err;
493 uint32_t attr = 0;
Summer Qin2bfd2a02018-09-26 17:10:41 +0800494
495 /* If len is zero, this indicates an empty buffer and base is ignored */
496 if (len == 0) {
Ken Liubcae38b2021-01-20 15:47:44 +0800497 return SPM_SUCCESS;
Summer Qin2bfd2a02018-09-26 17:10:41 +0800498 }
499
500 if (!buffer) {
Ken Liubcae38b2021-01-20 15:47:44 +0800501 return SPM_ERROR_BAD_PARAMETERS;
Summer Qin2bfd2a02018-09-26 17:10:41 +0800502 }
503
504 if ((uintptr_t)buffer > (UINTPTR_MAX - len)) {
Ken Liubcae38b2021-01-20 15:47:44 +0800505 return SPM_ERROR_MEMORY_CHECK;
Summer Qin2bfd2a02018-09-26 17:10:41 +0800506 }
507
Summer Qin424d4db2019-03-25 14:09:51 +0800508 if (access == TFM_MEMORY_ACCESS_RW) {
Mingyang Sund1ed6732020-08-26 15:52:21 +0800509 attr |= (TFM_HAL_ACCESS_READABLE | TFM_HAL_ACCESS_WRITABLE);
Summer Qin2bfd2a02018-09-26 17:10:41 +0800510 } else {
Mingyang Sund1ed6732020-08-26 15:52:21 +0800511 attr |= TFM_HAL_ACCESS_READABLE;
Summer Qin424d4db2019-03-25 14:09:51 +0800512 }
Mingyang Sund1ed6732020-08-26 15:52:21 +0800513
514 if (privileged == TFM_PARTITION_UNPRIVILEGED_MODE) {
515 attr |= TFM_HAL_ACCESS_UNPRIVILEGED;
516 } else {
517 attr &= ~TFM_HAL_ACCESS_UNPRIVILEGED;
518 }
519
520 if (ns_caller) {
521 attr |= TFM_HAL_ACCESS_NS;
522 }
523
524 err = tfm_hal_memory_has_access((uintptr_t)buffer, len, attr);
525
526 if (err == TFM_HAL_SUCCESS) {
Ken Liubcae38b2021-01-20 15:47:44 +0800527 return SPM_SUCCESS;
Summer Qin2bfd2a02018-09-26 17:10:41 +0800528 }
529
Ken Liubcae38b2021-01-20 15:47:44 +0800530 return SPM_ERROR_MEMORY_CHECK;
Summer Qin2bfd2a02018-09-26 17:10:41 +0800531}
532
Mingyang Sun22a3faf2021-07-09 15:32:47 +0800533bool tfm_spm_is_ns_caller(void)
534{
535#if defined(TFM_MULTI_CORE_TOPOLOGY) || defined(FORWARD_PROT_MSG)
536 /* Multi-core NS PSA API request is processed by pendSV. */
537 return (__get_active_exc_num() == EXC_NUM_PENDSV);
538#else
539 struct partition_t *partition = tfm_spm_get_running_partition();
Mingyang Sune529e3b2021-07-12 14:46:30 +0800540
Mingyang Sun22a3faf2021-07-09 15:32:47 +0800541 if (!partition) {
542 tfm_core_panic();
543 }
544
545 return (partition->p_ldinf->pid == TFM_SP_NON_SECURE_ID);
546#endif
547}
548
Mingyang Sune529e3b2021-07-12 14:46:30 +0800549uint32_t tfm_spm_get_caller_privilege_mode(void)
550{
551 struct partition_t *partition;
552
553#if defined(TFM_MULTI_CORE_TOPOLOGY) || defined(FORWARD_PROT_MSG)
554 /*
555 * In multi-core topology, if PSA request is from mailbox, the client
556 * is unprivileged.
557 */
558 if (__get_active_exc_num() == EXC_NUM_PENDSV) {
559 return TFM_PARTITION_UNPRIVILEGED_MODE;
560 }
561#endif
562 partition = tfm_spm_get_running_partition();
563 if (!partition) {
564 tfm_core_panic();
565 }
566
567 return tfm_spm_partition_get_privileged_mode(partition->p_ldinf->flags);
568}
569
Kevin Peng385fda82021-08-18 10:41:19 +0800570int32_t tfm_spm_get_client_id(bool ns_caller)
571{
572 int32_t client_id;
573
574 if (ns_caller) {
575 client_id = tfm_nspm_get_current_client_id();
576 } else {
577 client_id = tfm_spm_partition_get_running_partition_id();
578 }
579
580 if (ns_caller != (client_id < 0)) {
581 /* NS client ID must be negative and Secure ID must >= 0 */
582 tfm_core_panic();
583 }
584
585 return client_id;
586}
587
Ken Liuce2692d2020-02-11 12:39:36 +0800588uint32_t tfm_spm_init(void)
Edison Ai764d41f2018-09-21 15:56:36 +0800589{
Mingyang Sunae70d8d2020-06-30 15:56:05 +0800590 struct partition_t *partition;
Mingyang Sundeae45d2021-09-06 15:31:07 +0800591 const struct partition_load_info_t *p_pldi;
592 uint32_t service_setting = 0;
Ken Liuce58bfc2021-05-12 17:54:48 +0800593
David Huf07e97d2021-02-15 22:05:40 +0800594#ifdef TFM_FIH_PROFILE_ON
595 fih_int fih_rc = FIH_FAILURE;
596#endif
Edison Ai764d41f2018-09-21 15:56:36 +0800597
598 tfm_pool_init(conn_handle_pool,
599 POOL_BUFFER_SIZE(conn_handle_pool),
600 sizeof(struct tfm_conn_handle_t),
601 TFM_CONN_HANDLE_MAX_NUM);
Edison Ai764d41f2018-09-21 15:56:36 +0800602
Mingyang Sundeae45d2021-09-06 15:31:07 +0800603 UNI_LISI_INIT_HEAD(PARTITION_LIST_ADDR);
Ken Liuea45b0d2021-05-22 17:41:25 +0800604 UNI_LISI_INIT_HEAD(&services_listhead);
605
Sherry Zhnag482b88b2021-08-19 17:51:47 +0800606 /* Init the nonsecure context. */
607#ifndef TFM_MULTI_CORE_TOPOLOGY
608 tfm_nspm_ctx_init();
609#endif
610
Ken Liuacd2a572021-05-12 16:19:04 +0800611 while (1) {
Mingyang Sundeae45d2021-09-06 15:31:07 +0800612 partition = load_a_partition_assuredly(PARTITION_LIST_ADDR);
Shawn Shan23331062021-09-01 14:58:21 +0800613 if (partition == NO_MORE_PARTITION) {
Ken Liuacd2a572021-05-12 16:19:04 +0800614 break;
Kevin Peng79c2bda2020-07-24 16:31:12 +0800615 }
616
Mingyang Sundeae45d2021-09-06 15:31:07 +0800617 p_pldi = partition->p_ldinf;
Mingyang Sun2b352662021-04-21 11:35:43 +0800618
Mingyang Sundeae45d2021-09-06 15:31:07 +0800619 if (p_pldi->nservices) {
620 service_setting = load_services_assuredly(
621 partition,
622 &services_listhead,
623 stateless_services_ref_tbl,
624 sizeof(stateless_services_ref_tbl));
Kevin Peng27e42272021-05-24 17:58:53 +0800625 }
626
Mingyang Sundeae45d2021-09-06 15:31:07 +0800627 if (p_pldi->nirqs) {
Kevin Peng27e42272021-05-24 17:58:53 +0800628 load_irqs_assuredly(partition);
629 }
630
Mingyang Sundeae45d2021-09-06 15:31:07 +0800631 /* Bind the partition with platform. */
Ken Liuce58bfc2021-05-12 17:54:48 +0800632#if TFM_FIH_PROFILE_ON
633 FIH_CALL(tfm_hal_bind_boundaries, fih_rc, partition->p_ldinf,
Mingyang Sundeae45d2021-09-06 15:31:07 +0800634 &partition->p_boundaries);
Ken Liuce58bfc2021-05-12 17:54:48 +0800635 if (fih_not_eq(fih_rc, fih_int_encode(TFM_HAL_SUCCESS))) {
636 tfm_core_panic();
Mingyang Sun61f8fbc2021-06-04 17:49:56 +0800637 }
Ken Liu86686282021-04-27 11:11:15 +0800638#else /* TFM_FIH_PROFILE_ON */
Ken Liuce58bfc2021-05-12 17:54:48 +0800639 if (tfm_hal_bind_boundaries(partition->p_ldinf,
Mingyang Sundeae45d2021-09-06 15:31:07 +0800640 &partition->p_boundaries)
641 != TFM_HAL_SUCCESS) {
Ken Liuce58bfc2021-05-12 17:54:48 +0800642 tfm_core_panic();
Mate Toth-Pal8ac98a72019-11-21 17:30:10 +0100643 }
Ken Liuce58bfc2021-05-12 17:54:48 +0800644#endif /* TFM_FIH_PROFILE_ON */
Mate Toth-Pal8ac98a72019-11-21 17:30:10 +0100645
Mingyang Sundeae45d2021-09-06 15:31:07 +0800646 /* TODO: Replace this 'BACKEND_IPC' after SFN get involved. */
647 backend_instance.comp_init_assuredly(partition, service_setting);
Edison Ai764d41f2018-09-21 15:56:36 +0800648 }
649
Mingyang Sundeae45d2021-09-06 15:31:07 +0800650 return backend_instance.system_run();
Edison Ai764d41f2018-09-21 15:56:36 +0800651}
Ken Liu2d175172019-03-21 17:08:41 +0800652
Ken Liu5d73c872021-08-19 19:23:17 +0800653/*
654 * Return both current and next context to assembly via AAPCS trick:
655 * - Returning a 64 bit integer by 32-bit R0 and R1.
656 *
657 * This is architecture-specific, hence the scheduler entry and this
658 * 'do_schedule' MAY be different on another architecture.
659 */
660union returning_contexts_t {
661 struct {
662 uint32_t curr;
663 uint32_t next;
664 } ctx;
Ken Liu2d175172019-03-21 17:08:41 +0800665
Ken Liu5d73c872021-08-19 19:23:17 +0800666 uint64_t curr_next_ctxs;
667};
668
669uint64_t do_schedule(void)
670{
671 union returning_contexts_t ret;
672 struct partition_t *p_part_curr, *p_part_next;
673 struct thread_t *pth_next = thrd_next();
674
Mingyang Sun4f08f4d2021-09-10 17:41:28 +0800675 p_part_curr = GET_THRD_OWNER(CURRENT_THREAD);
676 p_part_next = GET_THRD_OWNER(pth_next);
Ken Liu5d73c872021-08-19 19:23:17 +0800677
678 if (pth_next != NULL && p_part_curr != p_part_next) {
679 /* Check if there is enough room on stack to save more context */
680 if ((p_part_curr->ctx_ctrl.sp_limit +
681 sizeof(struct tfm_additional_context_t)) > __get_PSP()) {
682 tfm_core_panic();
683 }
Mate Toth-Palc430b992019-05-09 21:01:14 +0200684
Ken Liuce58bfc2021-05-12 17:54:48 +0800685 /*
686 * If required, let the platform update boundary based on its
687 * implementation. Change privilege, MPU or other configurations.
688 */
689 if (p_part_curr->p_boundaries != p_part_next->p_boundaries) {
690 if (tfm_hal_update_boundaries(p_part_next->p_ldinf,
691 p_part_next->p_boundaries)
692 != TFM_HAL_SUCCESS) {
693 tfm_core_panic();
694 }
695 }
Ken Liu2d175172019-03-21 17:08:41 +0800696 }
David Hufb38d562019-09-23 15:58:34 +0800697
698 /*
699 * Handle pending mailbox message from NS in multi-core topology.
700 * Empty operation on single Armv8-M platform.
701 */
702 tfm_rpc_client_call_handler();
Ken Liu5d73c872021-08-19 19:23:17 +0800703
Mingyang Sun4f08f4d2021-09-10 17:41:28 +0800704 ret.ctx.curr = (uint32_t)CURRENT_THREAD->p_context_ctrl;
Ken Liu5d73c872021-08-19 19:23:17 +0800705 ret.ctx.next = (uint32_t)pth_next->p_context_ctrl;
706
Mingyang Sun4f08f4d2021-09-10 17:41:28 +0800707 CURRENT_THREAD = pth_next;
Ken Liu5d73c872021-08-19 19:23:17 +0800708
709 return ret.curr_next_ctxs;
Ken Liu2d175172019-03-21 17:08:41 +0800710}
Mingyang Sund44522a2020-01-16 16:48:37 +0800711
Summer Qin02f7f072020-08-24 16:02:54 +0800712void update_caller_outvec_len(struct tfm_msg_body_t *msg)
Mingyang Sund44522a2020-01-16 16:48:37 +0800713{
714 uint32_t i;
715
716 /*
717 * FixeMe: abstract these part into dedicated functions to avoid
718 * accessing thread context in psa layer
719 */
720 /* If it is a NS request via RPC, the owner of this message is not set */
721 if (!is_tfm_rpc_msg(msg)) {
722 TFM_CORE_ASSERT(msg->ack_evnt.owner->state == THRD_STATE_BLOCK);
723 }
724
725 for (i = 0; i < PSA_MAX_IOVEC; i++) {
726 if (msg->msg.out_size[i] == 0) {
727 continue;
728 }
729
730 TFM_CORE_ASSERT(msg->caller_outvec[i].base == msg->outvec[i].base);
731
732 msg->caller_outvec[i].len = msg->outvec[i].len;
733 }
734}
735
Ken Liu5d73c872021-08-19 19:23:17 +0800736void spm_assert_signal(void *p_pt, psa_signal_t signal)
Mingyang Sund44522a2020-01-16 16:48:37 +0800737{
Ken Liu5d73c872021-08-19 19:23:17 +0800738 struct partition_t *partition = (struct partition_t *)p_pt;
Mingyang Sund44522a2020-01-16 16:48:37 +0800739
Mingyang Sund44522a2020-01-16 16:48:37 +0800740 if (!partition) {
741 tfm_core_panic();
742 }
743
Mingyang Sunaf22ffa2020-07-09 17:48:37 +0800744 partition->signals_asserted |= signal;
Mingyang Sund44522a2020-01-16 16:48:37 +0800745
Kevin Peng8dac6102021-03-09 16:44:00 +0800746 if (partition->signals_waiting & signal) {
Ken Liu5d73c872021-08-19 19:23:17 +0800747 thrd_wake_up(&partition->waitobj,
748 partition->signals_asserted & partition->signals_waiting);
Kevin Peng8dac6102021-03-09 16:44:00 +0800749 partition->signals_waiting &= ~signal;
750 }
Mingyang Sund44522a2020-01-16 16:48:37 +0800751}
752
Kevin Pengeca45b92021-02-09 14:46:50 +0800753__attribute__((naked))
Ken Liu5d73c872021-08-19 19:23:17 +0800754static psa_flih_result_t tfm_flih_deprivileged_handling(void *p_pt,
Kevin Pengec239bb2021-09-03 15:40:27 +0800755 uintptr_t fn_flih,
Ken Liu5d73c872021-08-19 19:23:17 +0800756 void *p_context_ctrl)
Mingyang Sund44522a2020-01-16 16:48:37 +0800757{
Kevin Pengeca45b92021-02-09 14:46:50 +0800758 __ASM volatile("SVC %0 \n"
759 "BX LR \n"
760 : : "I" (TFM_SVC_PREPARE_DEPRIV_FLIH));
761}
Kevin Pengdc791882021-03-12 10:57:12 +0800762
Kevin Pengec239bb2021-09-03 15:40:27 +0800763void spm_handle_interrupt(void *p_pt, struct irq_load_info_t *p_ildi)
Kevin Pengeca45b92021-02-09 14:46:50 +0800764{
Kevin Pengeca45b92021-02-09 14:46:50 +0800765 psa_flih_result_t flih_result;
Kevin Pengec239bb2021-09-03 15:40:27 +0800766 struct partition_t *p_part;
Kevin Pengdc791882021-03-12 10:57:12 +0800767
Kevin Pengec239bb2021-09-03 15:40:27 +0800768 if (!p_pt || !p_ildi) {
Ken Liu5d73c872021-08-19 19:23:17 +0800769 tfm_core_panic();
770 }
Kevin Pengeca45b92021-02-09 14:46:50 +0800771
Kevin Pengec239bb2021-09-03 15:40:27 +0800772 p_part = (struct partition_t *)p_pt;
773
774 if (p_ildi->pid != p_part->p_ldinf->pid) {
775 tfm_core_panic();
776 }
777
778 if (p_ildi->flih_func == NULL) {
Kevin Pengeca45b92021-02-09 14:46:50 +0800779 /* SLIH Model Handling */
Kevin Pengec239bb2021-09-03 15:40:27 +0800780 tfm_hal_irq_disable(p_ildi->source);
Ken Liu5d73c872021-08-19 19:23:17 +0800781 flih_result = PSA_FLIH_SIGNAL;
782 } else {
783 /* FLIH Model Handling */
Kevin Pengec239bb2021-09-03 15:40:27 +0800784 if (tfm_spm_partition_get_privileged_mode(p_part->p_ldinf->flags) ==
Ken Liu5d73c872021-08-19 19:23:17 +0800785 TFM_PARTITION_PRIVILEGED_MODE) {
Kevin Pengec239bb2021-09-03 15:40:27 +0800786 flih_result = p_ildi->flih_func();
Ken Liu5d73c872021-08-19 19:23:17 +0800787 } else {
788 flih_result = tfm_flih_deprivileged_handling(
Mingyang Sun4f08f4d2021-09-10 17:41:28 +0800789 p_part,
790 (uintptr_t)p_ildi->flih_func,
791 CURRENT_THREAD->p_context_ctrl);
Ken Liu5d73c872021-08-19 19:23:17 +0800792 }
Kevin Pengeca45b92021-02-09 14:46:50 +0800793 }
794
Ken Liu5d73c872021-08-19 19:23:17 +0800795 if (flih_result == PSA_FLIH_SIGNAL) {
796 __disable_irq();
Kevin Pengec239bb2021-09-03 15:40:27 +0800797 spm_assert_signal(p_pt, p_ildi->signal);
Ken Liu5d73c872021-08-19 19:23:17 +0800798 __enable_irq();
Kevin Pengeca45b92021-02-09 14:46:50 +0800799 }
Mingyang Sund44522a2020-01-16 16:48:37 +0800800}
801
Kevin Peng27e42272021-05-24 17:58:53 +0800802struct irq_load_info_t *get_irq_info_for_signal(
803 const struct partition_load_info_t *p_ldinf,
804 psa_signal_t signal)
Mingyang Sund44522a2020-01-16 16:48:37 +0800805{
806 size_t i;
Kevin Peng27e42272021-05-24 17:58:53 +0800807 struct irq_load_info_t *irq_info;
Mingyang Sund44522a2020-01-16 16:48:37 +0800808
Ken Liu24dffb22021-02-10 11:03:58 +0800809 if (!IS_ONLY_ONE_BIT_IN_UINT32(signal)) {
Kevin Peng27e42272021-05-24 17:58:53 +0800810 return NULL;
Kevin Peng410bee52021-01-13 16:27:17 +0800811 }
812
Kevin Peng27e42272021-05-24 17:58:53 +0800813 irq_info = (struct irq_load_info_t *)LOAD_INFO_IRQ(p_ldinf);
814 for (i = 0; i < p_ldinf->nirqs; i++) {
815 if (irq_info[i].signal == signal) {
816 return &irq_info[i];
Mingyang Sund44522a2020-01-16 16:48:37 +0800817 }
818 }
Kevin Penga20b5af2021-01-11 11:20:52 +0800819
Kevin Peng27e42272021-05-24 17:58:53 +0800820 return NULL;
Mingyang Sund44522a2020-01-16 16:48:37 +0800821}