12 #include "region_defs.h"
18 #include "tfm_peripherals_def.h"
22 #ifdef PLATFORM_SVC_HANDLERS
24 uint32_t *svc_args, uint32_t lr);
34 uint8_t svc_number = 0;
44 svc_number = ((uint8_t *)svc_args[6])[-2];
87 #ifdef PLATFORM_SVC_HANDLERS
88 svc_args[0] = platform_svc_handlers(svc_num, svc_args, lr);
void tfm_spm_psa_eoi(uint32_t *svc_args)
Handle request to record IRQ processed.
void tfm_core_get_boot_data_handler(uint32_t args[])
Retrieve secure partition related data from shared memory area, which stores shared data between boot...
uint32_t tfm_spm_depriv_req_handler(uint32_t *svc_args, uint32_t excReturn)
Handle deprivileged request.
void tfm_access_violation_handler(void)
Should be called in case of access violation.
void tfm_spm_disable_irq_handler(uint32_t *svc_args)
Handle IRQ disable request.
void tfm_core_panic(void)
uint32_t tfm_spm_partition_return_handler(uint32_t lr)
Called when secure service returns.
void tfm_spm_get_caller_client_id_handler(uint32_t *svc_args)
Stores caller's client id in state context.
void tfm_spm_psa_wait(uint32_t *svc_args)
Handle signal wait request.
void tfm_spm_enable_irq_handler(uint32_t *svc_args)
Handle IRQ enable request.
void tfm_spm_request_handler(const struct tfm_state_context_t *svc_ctx)
Handle an SPM request by a secure service.
uint32_t tfm_core_svc_handler(uint32_t *svc_args, uint32_t lr, uint32_t *msp)
uint32_t tfm_spm_partition_request_svc_handler(const uint32_t *svc_args, uint32_t lr)
Called if veneer is running in thread mode.
__STATIC_INLINE bool is_return_secure_stack(uint32_t lr)
Check whether Secure or Non-secure stack is used to restore stack frame on exception return...
uint32_t tfm_spm_depriv_return_handler(uint32_t *irq_svc_args, uint32_t lr)
Handle request to return to privileged.