Go to the source code of this file.
void BusFault_Handler |
( |
void |
| ) |
|
void HardFault_Handler |
( |
void |
| ) |
|
void jump_to_ns_code |
( |
void |
| ) |
|
Jump to non-secure code.
Definition at line 19 of file arch.c.
void MemManage_Handler |
( |
void |
| ) |
|
Inform the SPM that an interrupt has been handled (end of interrupt).
- Parameters
-
[in] | irq_signal | The interrupt signal that has been processed. |
- Return values
-
void | Success. |
PROGRAMMER ERROR | The call is invalid, one or more of the following are true:
- irq_signal is not an interrupt signal.
- irq_signal indicates more than one signal.
- irq_signal is not currently asserted.
|
Definition at line 94 of file arch.c.
Return the Secure Partition interrupt signals that have been asserted from a subset of signals provided by the caller.
- Parameters
-
[in] | signal_mask | A set of signals to query. Signals that are not in this set will be ignored. |
[in] | timeout | Specify either blocking PSA_BLOCK or polling PSA_POLL operation. |
- Return values
-
>0 | At least one signal is asserted. |
0 | No signals are asserted. This is only seen when a polling timeout is used. |
Definition at line 75 of file arch.c.
void SecureFault_Handler |
( |
void |
| ) |
|
void tfm_arch_configure_coprocessors |
( |
void |
| ) |
|
Configure coprocessors.
Definition at line 271 of file arch.c.
int32_t tfm_core_get_caller_client_id |
( |
int32_t * |
caller_client_id | ) |
|
int32_t tfm_spm_request_reset_vote |
( |
void |
| ) |
|
Request a vote from SPM on a system reset.
- Returns
- Returns 0 if request is accepted, any other value means reject
Definition at line 45 of file arch.c.