![]() |
TF-M Reference Manual
1.2.0
TrustedFirmware-M
|
#include <secure_fw/spm/include/tfm_irq_list.h>
Data Fields | |
int32_t | partition_id |
psa_signal_t | signal_value |
IRQn_Type | irq_line |
uint32_t | irq_priority |
Definition at line 16 of file tfm_irq_list.h.
IRQn_Type irq_line |
Definition at line 19 of file tfm_irq_list.h.
uint32_t irq_priority |
Definition at line 20 of file tfm_irq_list.h.
int32_t partition_id |
Definition at line 17 of file tfm_irq_list.h.
psa_signal_t signal_value |
Definition at line 18 of file tfm_irq_list.h.