blob: f43cfbcf908568caa61ade59a3531491523ad38f [file] [log] [blame]
/*
* Copyright (c) 2021-2022, Arm Limited. All rights reserved.
* Copyright (c) 2021, Cypress Semiconductor Corporation. All rights reserved.
*
* SPDX-License-Identifier: BSD-3-Clause
*
*/
#include <stdint.h>
#include "critical_section.h"
#include "compiler_ext_defs.h"
#include "spm_ipc.h"
#include "tfm_hal_isolation.h"
#include "tfm_hal_platform.h"
#include "tfm_rpc.h"
#include "ffm/backend.h"
#include "utilities.h"
#include "load/partition_defs.h"
#include "load/service_defs.h"
#include "load/spm_load_api.h"
#include "psa/error.h"
/* Declare the global component list */
struct partition_head_t partition_listhead;
#if CONFIG_TFM_PSA_API_CROSS_CALL == 1
#ifdef TFM_MULTI_CORE_TOPOLOGY
/* TODO: To be checked when RPC design updates. */
static uint8_t spm_stack_local[CONFIG_TFM_SPM_THREAD_STACK_SIZE] __aligned(8);
struct context_ctrl_t spm_thread_context = {
.sp = (uint32_t)&spm_stack_local[CONFIG_TFM_SPM_THREAD_STACK_SIZE],
.sp_limit = (uint32_t)spm_stack_local,
.allocated = 0,
.exc_ret = 0,
};
struct context_ctrl_t *p_spm_thread_context = &spm_thread_context;
#else
struct context_ctrl_t *p_spm_thread_context;
#endif
#endif
/*
* Send message and wake up the SP who is waiting on message queue, block the
* current thread and trigger scheduler.
*/
static psa_status_t ipc_messaging(struct service_t *service,
struct conn_handle_t *handle)
{
struct partition_t *p_owner = NULL;
psa_signal_t signal = 0;
struct critical_section_t cs_assert = CRITICAL_SECTION_STATIC_INIT;
if (!handle || !service || !service->p_ldinf || !service->partition) {
return PSA_ERROR_PROGRAMMER_ERROR;
}
p_owner = service->partition;
signal = service->p_ldinf->signal;
CRITICAL_SECTION_ENTER(cs_assert);
UNI_LIST_INSERT_AFTER(p_owner, handle, p_handles);
/* Messages put. Update signals */
p_owner->signals_asserted |= signal;
if (p_owner->signals_waiting & signal) {
thrd_wake_up(&p_owner->waitobj,
(p_owner->signals_asserted & p_owner->signals_waiting));
p_owner->signals_waiting &= ~signal;
}
CRITICAL_SECTION_LEAVE(cs_assert);
/*
* If it is a NS request via RPC, it is unnecessary to block current
* thread.
*/
if (!is_tfm_rpc_msg(handle)) {
thrd_wait_on(&handle->ack_evnt, CURRENT_THREAD);
}
return PSA_SUCCESS;
}
static psa_status_t ipc_replying(struct conn_handle_t *handle, int32_t status)
{
if (is_tfm_rpc_msg(handle)) {
tfm_rpc_client_call_reply(handle, status);
} else {
thrd_wake_up(&handle->ack_evnt, status);
}
/*
* 'psa_reply' exists in IPC model only and returns 'void'. Return
* 'PSA_SUCCESS' here always since SPM does not forward the status
* to the caller.
*/
return PSA_SUCCESS;
}
/* Parameters are treated as assuredly */
static void ipc_comp_init_assuredly(struct partition_t *p_pt,
uint32_t service_setting)
{
const struct partition_load_info_t *p_pldi = p_pt->p_ldinf;
#if CONFIG_TFM_DOORBELL_API == 1
p_pt->signals_allowed |= PSA_DOORBELL;
#endif /* CONFIG_TFM_DOORBELL_API == 1 */
p_pt->signals_allowed |= service_setting;
THRD_SYNC_INIT(&p_pt->waitobj);
UNI_LISI_INIT_NODE(p_pt, p_handles);
ARCH_CTXCTRL_INIT(&p_pt->ctx_ctrl,
LOAD_ALLOCED_STACK_ADDR(p_pldi),
p_pldi->stack_size);
THRD_INIT(&p_pt->thrd, &p_pt->ctx_ctrl,
TO_THREAD_PRIORITY(PARTITION_PRIORITY(p_pldi->flags)));
#if (CONFIG_TFM_PSA_API_CROSS_CALL == 1) && !defined(TFM_MULTI_CORE_TOPOLOGY)
if (p_pldi->pid == TFM_SP_NON_SECURE_ID) {
SPM_THREAD_CONTEXT = &p_pt->ctx_ctrl;
}
#endif
thrd_start(&p_pt->thrd,
POSITION_TO_ENTRY(p_pldi->entry, thrd_fn_t),
THRD_GENERAL_EXIT);
}
static uint32_t ipc_system_run(void)
{
uint32_t control;
struct partition_t *p_cur_pt;
#if CONFIG_TFM_PSA_API_THREAD_CALL == 1
TFM_CORE_ASSERT(SPM_THREAD_CONTEXT);
#endif
control = thrd_start_scheduler(&CURRENT_THREAD);
p_cur_pt = TO_CONTAINER(CURRENT_THREAD->p_context_ctrl,
struct partition_t, ctx_ctrl);
if (tfm_hal_update_boundaries(p_cur_pt->p_ldinf, p_cur_pt->p_boundaries)
!= TFM_HAL_SUCCESS) {
tfm_core_panic();
}
return control;
}
const struct backend_ops_t backend_instance = {
.comp_init_assuredly = ipc_comp_init_assuredly,
.system_run = ipc_system_run,
.messaging = ipc_messaging,
.replying = ipc_replying,
};