blob: 6a7231fad6cd296cd95d77eef3a1c4168162f945 [file] [log] [blame]
Edison Ai764d41f2018-09-21 15:56:36 +08001/*
2 * Copyright (c) 2018-2019, Arm Limited. All rights reserved.
3 *
4 * SPDX-License-Identifier: BSD-3-Clause
5 *
6 */
Mingyang Sunda01a972019-07-12 17:32:59 +08007
8/* All the APIs defined in this file are used for IPC model. */
9
Edison Ai764d41f2018-09-21 15:56:36 +080010#include <inttypes.h>
Summer Qin2bfd2a02018-09-26 17:10:41 +080011#include <limits.h>
Edison Ai764d41f2018-09-21 15:56:36 +080012#include <stdbool.h>
Edison Ai764d41f2018-09-21 15:56:36 +080013#include <stdlib.h>
Jamie Foxcc31d402019-01-28 17:13:52 +000014#include "psa/client.h"
15#include "psa/service.h"
Edison Ai764d41f2018-09-21 15:56:36 +080016#include "tfm_utils.h"
Mingyang Sunf3d29892019-07-10 17:50:23 +080017#include "tfm_spm_hal.h"
Edison Ai764d41f2018-09-21 15:56:36 +080018#include "spm_api.h"
19#include "spm_db.h"
David Hu326f3972019-08-06 14:16:51 +080020#include "tfm_core_mem_check.h"
Edison Ai764d41f2018-09-21 15:56:36 +080021#include "tfm_internal_defines.h"
22#include "tfm_wait.h"
23#include "tfm_message_queue.h"
24#include "tfm_list.h"
25#include "tfm_pools.h"
Edison Ai764d41f2018-09-21 15:56:36 +080026#include "tfm_thread.h"
Summer Qin2bfd2a02018-09-26 17:10:41 +080027#include "region_defs.h"
Edison Ai764d41f2018-09-21 15:56:36 +080028#include "tfm_nspm.h"
Edison Ai807fedb2019-03-07 11:22:03 +080029#include "tfm_memory_utils.h"
Edison Ai764d41f2018-09-21 15:56:36 +080030
Summer Qind99509f2019-08-02 17:36:58 +080031#include "secure_fw/services/tfm_service_list.inc"
32
33/* Extern service variable */
34extern struct tfm_spm_service_t service[];
Summer Qine578c5b2019-08-16 16:42:16 +080035extern const struct tfm_spm_service_db_t service_db[];
Summer Qind99509f2019-08-02 17:36:58 +080036
Edison Ai764d41f2018-09-21 15:56:36 +080037/* Extern SPM variable */
38extern struct spm_partition_db_t g_spm_partition_db;
39
Mate Toth-Palc430b992019-05-09 21:01:14 +020040/* Extern secure lock variable */
41extern int32_t tfm_secure_lock;
Mingyang Sunf3d29892019-07-10 17:50:23 +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
Edison Ai764d41f2018-09-21 15:56:36 +080047/********************** SPM functions for handler mode ***********************/
48
49/* Service handle management functions */
50psa_handle_t tfm_spm_create_conn_handle(struct tfm_spm_service_t *service)
51{
Edison Ai9cc26242019-08-06 11:28:04 +080052 struct tfm_conn_handle_t *p_handle;
Edison Ai764d41f2018-09-21 15:56:36 +080053
54 TFM_ASSERT(service);
55
56 /* Get buffer for handle list structure from handle pool */
Edison Ai9cc26242019-08-06 11:28:04 +080057 p_handle = (struct tfm_conn_handle_t *)tfm_pool_alloc(conn_handle_pool);
58 if (!p_handle) {
Edison Ai764d41f2018-09-21 15:56:36 +080059 return PSA_NULL_HANDLE;
60 }
61
Edison Ai9cc26242019-08-06 11:28:04 +080062 p_handle->service = service;
Edison Ai764d41f2018-09-21 15:56:36 +080063
64 /* Add handle node to list for next psa functions */
Edison Ai9cc26242019-08-06 11:28:04 +080065 tfm_list_add_tail(&service->handle_list, &p_handle->list);
Edison Ai764d41f2018-09-21 15:56:36 +080066
Edison Ai9cc26242019-08-06 11:28:04 +080067 return (psa_handle_t)p_handle;
Edison Ai764d41f2018-09-21 15:56:36 +080068}
69
70static struct tfm_conn_handle_t *
Mingyang Sun5e13aa72019-07-10 10:30:16 +080071 tfm_spm_find_conn_handle_node(struct tfm_spm_service_t *service,
72 psa_handle_t conn_handle)
Edison Ai764d41f2018-09-21 15:56:36 +080073{
Edison Ai764d41f2018-09-21 15:56:36 +080074 TFM_ASSERT(service);
75
Edison Ai9cc26242019-08-06 11:28:04 +080076 return (struct tfm_conn_handle_t *)conn_handle;
Edison Ai764d41f2018-09-21 15:56:36 +080077}
78
79int32_t tfm_spm_free_conn_handle(struct tfm_spm_service_t *service,
80 psa_handle_t conn_handle)
81{
Edison Ai9cc26242019-08-06 11:28:04 +080082 struct tfm_conn_handle_t *p_handle;
Edison Ai764d41f2018-09-21 15:56:36 +080083
84 TFM_ASSERT(service);
85
86 /* There are many handles for each RoT Service */
Edison Ai9cc26242019-08-06 11:28:04 +080087 p_handle = tfm_spm_find_conn_handle_node(service, conn_handle);
88 if (!p_handle) {
Edison Ai764d41f2018-09-21 15:56:36 +080089 tfm_panic();
90 }
91
92 /* Remove node from handle list */
Edison Ai9cc26242019-08-06 11:28:04 +080093 tfm_list_del_node(&p_handle->list);
Edison Ai764d41f2018-09-21 15:56:36 +080094
95 /* Back handle buffer to pool */
Edison Ai9cc26242019-08-06 11:28:04 +080096 tfm_pool_free(p_handle);
Edison Ai764d41f2018-09-21 15:56:36 +080097 return IPC_SUCCESS;
98}
99
100int32_t tfm_spm_set_rhandle(struct tfm_spm_service_t *service,
101 psa_handle_t conn_handle,
102 void *rhandle)
103{
Edison Ai9cc26242019-08-06 11:28:04 +0800104 struct tfm_conn_handle_t *p_handle;
Edison Ai764d41f2018-09-21 15:56:36 +0800105
106 TFM_ASSERT(service);
107 /* Set reverse handle value only be allowed for a connected handle */
108 TFM_ASSERT(conn_handle != PSA_NULL_HANDLE);
109
110 /* There are many handles for each RoT Service */
Edison Ai9cc26242019-08-06 11:28:04 +0800111 p_handle = tfm_spm_find_conn_handle_node(service, conn_handle);
112 if (!p_handle) {
Edison Ai764d41f2018-09-21 15:56:36 +0800113 tfm_panic();
114 }
115
Edison Ai9cc26242019-08-06 11:28:04 +0800116 p_handle->rhandle = rhandle;
Edison Ai764d41f2018-09-21 15:56:36 +0800117 return IPC_SUCCESS;
118}
119
120void *tfm_spm_get_rhandle(struct tfm_spm_service_t *service,
121 psa_handle_t conn_handle)
122{
Edison Ai9cc26242019-08-06 11:28:04 +0800123 struct tfm_conn_handle_t *p_handle;
Edison Ai764d41f2018-09-21 15:56:36 +0800124
125 TFM_ASSERT(service);
126 /* Get reverse handle value only be allowed for a connected handle */
127 TFM_ASSERT(conn_handle != PSA_NULL_HANDLE);
128
129 /* There are many handles for each RoT Service */
Edison Ai9cc26242019-08-06 11:28:04 +0800130 p_handle = tfm_spm_find_conn_handle_node(service, conn_handle);
131 if (!p_handle) {
Edison Ai764d41f2018-09-21 15:56:36 +0800132 tfm_panic();
133 }
134
Edison Ai9cc26242019-08-06 11:28:04 +0800135 return p_handle->rhandle;
Edison Ai764d41f2018-09-21 15:56:36 +0800136}
137
138/* Partition management functions */
139struct tfm_spm_service_t *
Mingyang Sunf3d29892019-07-10 17:50:23 +0800140 tfm_spm_get_service_by_signal(struct spm_partition_desc_t *partition,
141 psa_signal_t signal)
Edison Ai764d41f2018-09-21 15:56:36 +0800142{
143 struct tfm_list_node_t *node, *head;
144 struct tfm_spm_service_t *service;
145
146 TFM_ASSERT(partition);
147
Mingyang Sun5e13aa72019-07-10 10:30:16 +0800148 if (tfm_list_is_empty(&partition->runtime_data.service_list)) {
Edison Ai764d41f2018-09-21 15:56:36 +0800149 tfm_panic();
150 }
151
Mingyang Sun5e13aa72019-07-10 10:30:16 +0800152 head = &partition->runtime_data.service_list;
Edison Ai764d41f2018-09-21 15:56:36 +0800153 TFM_LIST_FOR_EACH(node, head) {
154 service = TFM_GET_CONTAINER_PTR(node, struct tfm_spm_service_t, list);
Summer Qine578c5b2019-08-16 16:42:16 +0800155 if (service->service_db->signal == signal) {
Edison Ai764d41f2018-09-21 15:56:36 +0800156 return service;
157 }
158 }
159 return NULL;
160}
161
162struct tfm_spm_service_t *tfm_spm_get_service_by_sid(uint32_t sid)
163{
164 uint32_t i;
165 struct tfm_list_node_t *node, *head;
166 struct tfm_spm_service_t *service;
Mingyang Sun5e13aa72019-07-10 10:30:16 +0800167 struct spm_partition_desc_t *partition;
Edison Ai764d41f2018-09-21 15:56:36 +0800168
Mate Toth-Pal3ad2e3e2019-07-11 21:43:37 +0200169 for (i = 0; i < g_spm_partition_db.partition_count; i++) {
Mingyang Sun5e13aa72019-07-10 10:30:16 +0800170 partition = &g_spm_partition_db.partitions[i];
Edison Ai764d41f2018-09-21 15:56:36 +0800171 /* Skip partition without IPC flag */
Mingyang Sunf3d29892019-07-10 17:50:23 +0800172 if ((tfm_spm_partition_get_flags(i) & SPM_PART_FLAG_IPC) == 0) {
Edison Ai764d41f2018-09-21 15:56:36 +0800173 continue;
174 }
175
Mingyang Sun5e13aa72019-07-10 10:30:16 +0800176 if (tfm_list_is_empty(&partition->runtime_data.service_list)) {
Edison Ai764d41f2018-09-21 15:56:36 +0800177 continue;
178 }
179
Mingyang Sun5e13aa72019-07-10 10:30:16 +0800180 head = &partition->runtime_data.service_list;
Edison Ai764d41f2018-09-21 15:56:36 +0800181 TFM_LIST_FOR_EACH(node, head) {
182 service = TFM_GET_CONTAINER_PTR(node, struct tfm_spm_service_t,
183 list);
Summer Qine578c5b2019-08-16 16:42:16 +0800184 if (service->service_db->sid == sid) {
Edison Ai764d41f2018-09-21 15:56:36 +0800185 return service;
186 }
187 }
188 }
189 return NULL;
190}
191
192struct tfm_spm_service_t *
193 tfm_spm_get_service_by_handle(psa_handle_t conn_handle)
194{
Edison Ai9cc26242019-08-06 11:28:04 +0800195 return ((struct tfm_conn_handle_t *)conn_handle)->service;
Edison Ai764d41f2018-09-21 15:56:36 +0800196}
197
Mingyang Sun5e13aa72019-07-10 10:30:16 +0800198struct spm_partition_desc_t *tfm_spm_get_partition_by_id(int32_t partition_id)
Edison Ai764d41f2018-09-21 15:56:36 +0800199{
Mingyang Sun5e13aa72019-07-10 10:30:16 +0800200 uint32_t idx = get_partition_idx(partition_id);
Edison Ai764d41f2018-09-21 15:56:36 +0800201
Mingyang Sun5e13aa72019-07-10 10:30:16 +0800202 if (idx != SPM_INVALID_PARTITION_IDX) {
203 return &(g_spm_partition_db.partitions[idx]);
Edison Ai764d41f2018-09-21 15:56:36 +0800204 }
205 return NULL;
206}
207
Mingyang Sun5e13aa72019-07-10 10:30:16 +0800208struct spm_partition_desc_t *tfm_spm_get_running_partition(void)
Edison Ai764d41f2018-09-21 15:56:36 +0800209{
210 uint32_t spid;
211
Mingyang Sunf3d29892019-07-10 17:50:23 +0800212 spid = tfm_spm_partition_get_running_partition_id();
Edison Ai764d41f2018-09-21 15:56:36 +0800213
214 return tfm_spm_get_partition_by_id(spid);
215}
216
217int32_t tfm_spm_check_client_version(struct tfm_spm_service_t *service,
218 uint32_t minor_version)
219{
220 TFM_ASSERT(service);
221
Summer Qine578c5b2019-08-16 16:42:16 +0800222 switch (service->service_db->minor_policy) {
Edison Ai764d41f2018-09-21 15:56:36 +0800223 case TFM_VERSION_POLICY_RELAXED:
Summer Qine578c5b2019-08-16 16:42:16 +0800224 if (minor_version > service->service_db->minor_version) {
Edison Ai764d41f2018-09-21 15:56:36 +0800225 return IPC_ERROR_VERSION;
226 }
227 break;
228 case TFM_VERSION_POLICY_STRICT:
Summer Qine578c5b2019-08-16 16:42:16 +0800229 if (minor_version != service->service_db->minor_version) {
Edison Ai764d41f2018-09-21 15:56:36 +0800230 return IPC_ERROR_VERSION;
231 }
232 break;
233 default:
234 return IPC_ERROR_VERSION;
235 }
236 return IPC_SUCCESS;
237}
238
239/* Message functions */
240struct tfm_msg_body_t *tfm_spm_get_msg_from_handle(psa_handle_t msg_handle)
241{
242 /*
243 * There may be one error handle passed by the caller in two conditions:
244 * 1. Not a valid message handle.
245 * 2. Handle between different Partitions. Partition A passes one handle
246 * belong to other Partitions and tries to access other's data.
247 * So, need do necessary checking to prevent those conditions.
248 */
249 struct tfm_msg_body_t *msg;
250 uint32_t partition_id;
251
252 msg = (struct tfm_msg_body_t *)msg_handle;
253 if (!msg) {
254 return NULL;
255 }
256
257 /*
258 * FixMe: For condition 1: using a magic number to define it's a message.
259 * It needs to be an enhancement to check the handle belong to service.
260 */
261 if (msg->magic != TFM_MSG_MAGIC) {
262 return NULL;
263 }
264
265 /* For condition 2: check if the partition ID is same */
Mingyang Sunf3d29892019-07-10 17:50:23 +0800266 partition_id = tfm_spm_partition_get_running_partition_id();
Summer Qin423dbef2019-08-22 15:59:35 +0800267 if (partition_id != msg->service->partition->static_data->partition_id) {
Edison Ai764d41f2018-09-21 15:56:36 +0800268 return NULL;
269 }
270
271 return msg;
272}
273
Edison Ai97115822019-08-01 14:22:19 +0800274struct tfm_msg_body_t *
275 tfm_spm_get_msg_buffer_from_conn_handle(psa_handle_t conn_handle)
Edison Ai764d41f2018-09-21 15:56:36 +0800276{
Edison Ai97115822019-08-01 14:22:19 +0800277 TFM_ASSERT(conn_handle != PSA_NULL_HANDLE);
278
279 return &(((struct tfm_conn_handle_t *)conn_handle)->internal_msg);
280}
281
282void tfm_spm_fill_msg(struct tfm_msg_body_t *msg,
283 struct tfm_spm_service_t *service,
284 psa_handle_t handle,
285 int32_t type, int32_t ns_caller,
286 psa_invec *invec, size_t in_len,
287 psa_outvec *outvec, size_t out_len,
288 psa_outvec *caller_outvec)
289{
Edison Ai764d41f2018-09-21 15:56:36 +0800290 uint32_t i;
291
Edison Ai97115822019-08-01 14:22:19 +0800292 TFM_ASSERT(msg);
Edison Ai764d41f2018-09-21 15:56:36 +0800293 TFM_ASSERT(service);
294 TFM_ASSERT(!(invec == NULL && in_len != 0));
295 TFM_ASSERT(!(outvec == NULL && out_len != 0));
296 TFM_ASSERT(in_len <= PSA_MAX_IOVEC);
297 TFM_ASSERT(out_len <= PSA_MAX_IOVEC);
298 TFM_ASSERT(in_len + out_len <= PSA_MAX_IOVEC);
299
Edison Ai764d41f2018-09-21 15:56:36 +0800300 /* Clear message buffer before using it */
301 tfm_memset(msg, 0, sizeof(struct tfm_msg_body_t));
302
Ken Liu35f89392019-03-14 14:51:05 +0800303 tfm_event_init(&msg->ack_evnt);
Edison Ai764d41f2018-09-21 15:56:36 +0800304 msg->magic = TFM_MSG_MAGIC;
305 msg->service = service;
306 msg->handle = handle;
307 msg->caller_outvec = caller_outvec;
308 /* Get current partition id */
309 if (ns_caller) {
310 msg->msg.client_id = tfm_nspm_get_current_client_id();
311 } else {
Mingyang Sunf3d29892019-07-10 17:50:23 +0800312 msg->msg.client_id = tfm_spm_partition_get_running_partition_id();
Edison Ai764d41f2018-09-21 15:56:36 +0800313 }
314
315 /* Copy contents */
316 msg->msg.type = type;
317
318 for (i = 0; i < in_len; i++) {
319 msg->msg.in_size[i] = invec[i].len;
320 msg->invec[i].base = invec[i].base;
321 }
322
323 for (i = 0; i < out_len; i++) {
324 msg->msg.out_size[i] = outvec[i].len;
325 msg->outvec[i].base = outvec[i].base;
326 /* Out len is used to record the writed number, set 0 here again */
327 msg->outvec[i].len = 0;
328 }
329
330 /* Use message address as handle */
331 msg->msg.handle = (psa_handle_t)msg;
332
333 /* For connected handle, set rhandle to every message */
334 if (handle != PSA_NULL_HANDLE) {
335 msg->msg.rhandle = tfm_spm_get_rhandle(service, handle);
336 }
Edison Ai764d41f2018-09-21 15:56:36 +0800337}
338
339int32_t tfm_spm_send_event(struct tfm_spm_service_t *service,
340 struct tfm_msg_body_t *msg)
341{
Mingyang Sun5e13aa72019-07-10 10:30:16 +0800342 struct spm_partition_runtime_data_t *p_runtime_data =
343 &service->partition->runtime_data;
344
Edison Ai764d41f2018-09-21 15:56:36 +0800345 TFM_ASSERT(service);
346 TFM_ASSERT(msg);
347
348 /* Enqueue message to service message queue */
349 if (tfm_msg_enqueue(&service->msg_queue, msg) != IPC_SUCCESS) {
350 return IPC_ERROR_GENERIC;
351 }
352
353 /* Messages put. Update signals */
Summer Qine578c5b2019-08-16 16:42:16 +0800354 p_runtime_data->signals |= service->service_db->signal;
Edison Ai764d41f2018-09-21 15:56:36 +0800355
Mingyang Sun5e13aa72019-07-10 10:30:16 +0800356 tfm_event_wake(&p_runtime_data->signal_evnt, (p_runtime_data->signals &
357 p_runtime_data->signal_mask));
Edison Ai764d41f2018-09-21 15:56:36 +0800358
Ken Liu35f89392019-03-14 14:51:05 +0800359 tfm_event_wait(&msg->ack_evnt);
Edison Ai764d41f2018-09-21 15:56:36 +0800360
361 return IPC_SUCCESS;
362}
363
Edison Ai7aff9e82019-07-11 14:56:46 +0800364uint32_t tfm_spm_partition_get_stack_bottom(uint32_t partition_idx)
365{
366 return g_spm_partition_db.partitions[partition_idx].
Summer Qin423dbef2019-08-22 15:59:35 +0800367 memory_data->stack_bottom;
Edison Ai7aff9e82019-07-11 14:56:46 +0800368}
369
370uint32_t tfm_spm_partition_get_stack_top(uint32_t partition_idx)
371{
Summer Qin423dbef2019-08-22 15:59:35 +0800372 return g_spm_partition_db.partitions[partition_idx].memory_data->stack_top;
Edison Ai7aff9e82019-07-11 14:56:46 +0800373}
374
Mingyang Sunf3d29892019-07-10 17:50:23 +0800375uint32_t tfm_spm_partition_get_running_partition_id(void)
Edison Ai764d41f2018-09-21 15:56:36 +0800376{
377 struct tfm_thrd_ctx *pth = tfm_thrd_curr_thread();
378 struct spm_partition_desc_t *partition;
Summer Qinb5da9cc2019-08-26 15:19:45 +0800379 struct spm_partition_runtime_data_t *r_data;
Edison Ai764d41f2018-09-21 15:56:36 +0800380
Summer Qinb5da9cc2019-08-26 15:19:45 +0800381 r_data = TFM_GET_CONTAINER_PTR(pth, struct spm_partition_runtime_data_t,
382 sp_thrd);
383 partition = TFM_GET_CONTAINER_PTR(r_data, struct spm_partition_desc_t,
384 runtime_data);
Summer Qin423dbef2019-08-22 15:59:35 +0800385 return partition->static_data->partition_id;
Edison Ai764d41f2018-09-21 15:56:36 +0800386}
387
388static struct tfm_thrd_ctx *
Mingyang Sunf3d29892019-07-10 17:50:23 +0800389 tfm_spm_partition_get_thread_info(uint32_t partition_idx)
Edison Ai764d41f2018-09-21 15:56:36 +0800390{
Summer Qinb5da9cc2019-08-26 15:19:45 +0800391 return &g_spm_partition_db.partitions[partition_idx].runtime_data.sp_thrd;
Edison Ai764d41f2018-09-21 15:56:36 +0800392}
393
Edison Ai764d41f2018-09-21 15:56:36 +0800394static tfm_thrd_func_t
Mingyang Sunf3d29892019-07-10 17:50:23 +0800395 tfm_spm_partition_get_init_func(uint32_t partition_idx)
Edison Ai764d41f2018-09-21 15:56:36 +0800396{
397 return (tfm_thrd_func_t)(g_spm_partition_db.partitions[partition_idx].
Summer Qin423dbef2019-08-22 15:59:35 +0800398 static_data->partition_init);
Edison Ai764d41f2018-09-21 15:56:36 +0800399}
400
Mingyang Sunf3d29892019-07-10 17:50:23 +0800401static uint32_t tfm_spm_partition_get_priority(uint32_t partition_idx)
Edison Ai764d41f2018-09-21 15:56:36 +0800402{
Summer Qin423dbef2019-08-22 15:59:35 +0800403 return g_spm_partition_db.partitions[partition_idx].static_data->
Edison Ai764d41f2018-09-21 15:56:36 +0800404 partition_priority;
405}
406
David Hucb05d972019-08-06 18:10:11 +0800407int32_t tfm_memory_check(const void *buffer, size_t len, int32_t ns_caller,
Summer Qineb537e52019-03-29 09:57:10 +0800408 enum tfm_memory_access_e access,
409 uint32_t privileged)
Summer Qin2bfd2a02018-09-26 17:10:41 +0800410{
Hugues de Valon99578562019-06-18 16:08:51 +0100411 enum tfm_status_e err;
Summer Qin2bfd2a02018-09-26 17:10:41 +0800412
413 /* If len is zero, this indicates an empty buffer and base is ignored */
414 if (len == 0) {
415 return IPC_SUCCESS;
416 }
417
418 if (!buffer) {
419 return IPC_ERROR_BAD_PARAMETERS;
420 }
421
422 if ((uintptr_t)buffer > (UINTPTR_MAX - len)) {
423 return IPC_ERROR_MEMORY_CHECK;
424 }
425
Summer Qin424d4db2019-03-25 14:09:51 +0800426 if (access == TFM_MEMORY_ACCESS_RW) {
Summer Qineb537e52019-03-29 09:57:10 +0800427 err = tfm_core_has_write_access_to_region(buffer, len, ns_caller,
428 privileged);
Summer Qin2bfd2a02018-09-26 17:10:41 +0800429 } else {
Summer Qineb537e52019-03-29 09:57:10 +0800430 err = tfm_core_has_read_access_to_region(buffer, len, ns_caller,
431 privileged);
Summer Qin424d4db2019-03-25 14:09:51 +0800432 }
Summer Qin0fc3f592019-04-11 16:00:10 +0800433 if (err == TFM_SUCCESS) {
Summer Qin424d4db2019-03-25 14:09:51 +0800434 return IPC_SUCCESS;
Summer Qin2bfd2a02018-09-26 17:10:41 +0800435 }
436
437 return IPC_ERROR_MEMORY_CHECK;
438}
439
Summer Qineb537e52019-03-29 09:57:10 +0800440uint32_t tfm_spm_partition_get_privileged_mode(uint32_t partition_idx)
441{
442 if (tfm_spm_partition_get_flags(partition_idx) & SPM_PART_FLAG_PSA_ROT) {
443 return TFM_PARTITION_PRIVILEGED_MODE;
444 } else {
445 return TFM_PARTITION_UNPRIVILEGED_MODE;
446 }
447}
448
Edison Ai764d41f2018-09-21 15:56:36 +0800449/********************** SPM functions for thread mode ************************/
450
451void tfm_spm_init(void)
452{
453 uint32_t i, num;
Mingyang Sun5e13aa72019-07-10 10:30:16 +0800454 struct spm_partition_desc_t *partition;
Ken Liu483f5da2019-04-24 10:45:21 +0800455 struct tfm_thrd_ctx *pth, this_thrd;
Edison Ai764d41f2018-09-21 15:56:36 +0800456
457 tfm_pool_init(conn_handle_pool,
458 POOL_BUFFER_SIZE(conn_handle_pool),
459 sizeof(struct tfm_conn_handle_t),
460 TFM_CONN_HANDLE_MAX_NUM);
Edison Ai764d41f2018-09-21 15:56:36 +0800461
462 /* Init partition first for it will be used when init service */
Mate Toth-Pal3ad2e3e2019-07-11 21:43:37 +0200463 for (i = 0; i < g_spm_partition_db.partition_count; i++) {
Mingyang Sun5e13aa72019-07-10 10:30:16 +0800464 partition = &g_spm_partition_db.partitions[i];
465 tfm_spm_hal_configure_default_isolation(partition->platform_data);
Summer Qin423dbef2019-08-22 15:59:35 +0800466 partition->runtime_data.index = i;
Edison Ai764d41f2018-09-21 15:56:36 +0800467 if ((tfm_spm_partition_get_flags(i) & SPM_PART_FLAG_IPC) == 0) {
468 continue;
469 }
Ken Liu35f89392019-03-14 14:51:05 +0800470
Mingyang Sun5e13aa72019-07-10 10:30:16 +0800471 tfm_event_init(&partition->runtime_data.signal_evnt);
472 tfm_list_init(&partition->runtime_data.service_list);
Edison Ai764d41f2018-09-21 15:56:36 +0800473
Mingyang Sunf3d29892019-07-10 17:50:23 +0800474 pth = tfm_spm_partition_get_thread_info(i);
Edison Ai764d41f2018-09-21 15:56:36 +0800475 if (!pth) {
476 tfm_panic();
477 }
478
479 tfm_thrd_init(pth,
Mingyang Sunf3d29892019-07-10 17:50:23 +0800480 tfm_spm_partition_get_init_func(i),
Edison Ai764d41f2018-09-21 15:56:36 +0800481 NULL,
Ken Liu5a2b9052019-08-15 19:03:29 +0800482 (uintptr_t)tfm_spm_partition_get_stack_top(i),
483 (uintptr_t)tfm_spm_partition_get_stack_bottom(i));
Edison Ai788bae22019-02-18 17:38:59 +0800484
Mingyang Sunf3d29892019-07-10 17:50:23 +0800485 pth->prior = tfm_spm_partition_get_priority(i);
Edison Ai764d41f2018-09-21 15:56:36 +0800486
487 /* Kick off */
488 if (tfm_thrd_start(pth) != THRD_SUCCESS) {
489 tfm_panic();
490 }
491 }
492
493 /* Init Service */
Summer Qind99509f2019-08-02 17:36:58 +0800494 num = sizeof(service) / sizeof(struct tfm_spm_service_t);
Edison Ai764d41f2018-09-21 15:56:36 +0800495 for (i = 0; i < num; i++) {
Summer Qine578c5b2019-08-16 16:42:16 +0800496 service[i].service_db = &service_db[i];
Edison Ai764d41f2018-09-21 15:56:36 +0800497 partition =
Summer Qine578c5b2019-08-16 16:42:16 +0800498 tfm_spm_get_partition_by_id(service[i].service_db->partition_id);
Edison Ai764d41f2018-09-21 15:56:36 +0800499 if (!partition) {
500 tfm_panic();
501 }
Summer Qind99509f2019-08-02 17:36:58 +0800502 service[i].partition = partition;
503 tfm_list_init(&service[i].handle_list);
Mingyang Sun5e13aa72019-07-10 10:30:16 +0800504 tfm_list_add_tail(&partition->runtime_data.service_list,
Summer Qind99509f2019-08-02 17:36:58 +0800505 &service[i].list);
Edison Ai764d41f2018-09-21 15:56:36 +0800506 }
507
Ken Liu483f5da2019-04-24 10:45:21 +0800508 /*
509 * All threads initialized, start the scheduler.
510 *
511 * NOTE:
512 * Here is the booting privileged thread mode, and will never
513 * return to this place after scheduler is started. The start
514 * function has to save current runtime context to act as a
515 * 'current thread' to avoid repeating NULL 'current thread'
516 * checking while context switching. This saved context is worthy
517 * of being saved somewhere if there are potential usage purpose.
518 * Let's save this context in a local variable 'this_thrd' at
519 * current since there is no usage for it.
Mate Toth-Palc430b992019-05-09 21:01:14 +0200520 * Also set tfm_nspm_thread_entry as pfn for this thread to
521 * use in detecting NS/S thread scheduling changes.
Ken Liu483f5da2019-04-24 10:45:21 +0800522 */
Mate Toth-Palc430b992019-05-09 21:01:14 +0200523 this_thrd.pfn = (tfm_thrd_func_t)tfm_nspm_thread_entry;
Ken Liu483f5da2019-04-24 10:45:21 +0800524 tfm_thrd_start_scheduler(&this_thrd);
Edison Ai764d41f2018-09-21 15:56:36 +0800525}
Ken Liu2d175172019-03-21 17:08:41 +0800526
527void tfm_pendsv_do_schedule(struct tfm_state_context_ext *ctxb)
528{
529#if TFM_LVL == 2
530 struct spm_partition_desc_t *p_next_partition;
Summer Qinb5da9cc2019-08-26 15:19:45 +0800531 struct spm_partition_runtime_data_t *r_data;
Ken Liu2d175172019-03-21 17:08:41 +0800532 uint32_t is_privileged;
533#endif
534 struct tfm_thrd_ctx *pth_next = tfm_thrd_next_thread();
535 struct tfm_thrd_ctx *pth_curr = tfm_thrd_curr_thread();
536
Mate Toth-Pal32b2ccd2019-04-26 10:00:16 +0200537 if (pth_next != NULL && pth_curr != pth_next) {
Ken Liu2d175172019-03-21 17:08:41 +0800538#if TFM_LVL == 2
Summer Qinb5da9cc2019-08-26 15:19:45 +0800539 r_data = TFM_GET_CONTAINER_PTR(pth_next,
540 struct spm_partition_runtime_data_t,
541 sp_thrd);
542 p_next_partition = TFM_GET_CONTAINER_PTR(r_data,
Ken Liu2d175172019-03-21 17:08:41 +0800543 struct spm_partition_desc_t,
Summer Qinb5da9cc2019-08-26 15:19:45 +0800544 runtime_data);
Ken Liu2d175172019-03-21 17:08:41 +0800545
Summer Qin423dbef2019-08-22 15:59:35 +0800546 if (p_next_partition->static_data->partition_flags &
Ken Liu2d175172019-03-21 17:08:41 +0800547 SPM_PART_FLAG_PSA_ROT) {
548 is_privileged = TFM_PARTITION_PRIVILEGED_MODE;
549 } else {
550 is_privileged = TFM_PARTITION_UNPRIVILEGED_MODE;
551 }
552
553 tfm_spm_partition_change_privilege(is_privileged);
554#endif
Mate Toth-Palc430b992019-05-09 21:01:14 +0200555 /* Increase the secure lock, if we enter secure from non-secure */
556 if ((void *)pth_curr->pfn == (void *)tfm_nspm_thread_entry) {
557 ++tfm_secure_lock;
558 }
559 /* Decrease the secure lock, if we return from secure to non-secure */
560 if ((void *)pth_next->pfn == (void *)tfm_nspm_thread_entry) {
561 --tfm_secure_lock;
562 }
563
Ken Liu2d175172019-03-21 17:08:41 +0800564 tfm_thrd_context_switch(ctxb, pth_curr, pth_next);
565 }
566}