aboutsummaryrefslogtreecommitdiff
path: root/secure_fw/spm/cmsis_func/tfm_secure_irq_handlers.inc.template
diff options
context:
space:
mode:
Diffstat (limited to 'secure_fw/spm/cmsis_func/tfm_secure_irq_handlers.inc.template')
-rw-r--r--secure_fw/spm/cmsis_func/tfm_secure_irq_handlers.inc.template60
1 files changed, 30 insertions, 30 deletions
diff --git a/secure_fw/spm/cmsis_func/tfm_secure_irq_handlers.inc.template b/secure_fw/spm/cmsis_func/tfm_secure_irq_handlers.inc.template
index e03166985f..522886bcce 100644
--- a/secure_fw/spm/cmsis_func/tfm_secure_irq_handlers.inc.template
+++ b/secure_fw/spm/cmsis_func/tfm_secure_irq_handlers.inc.template
@@ -7,10 +7,10 @@
{{utilities.donotedit_warning}}
-{% for manifest in manifests %}
-#ifdef {{manifest.attr.conditional}}
-#include "{{manifest.header_file}}"
-#endif /* {{manifest.attr.conditional}} */
+{% for partition in partitions %}
+#ifdef {{partition.attr.conditional}}
+#include "{{partition.header_file}}"
+#endif /* {{partition.attr.conditional}} */
{% endfor %}
#include "psa_manifest/pid.h"
{% macro _irq_record(partition_name, signal, line, priority) -%}
@@ -19,27 +19,27 @@
/* Definitions of the signals of the IRQs */
const struct tfm_core_irq_signal_data_t tfm_core_irq_signals[] = {
-{% for manifest in manifests %}
- {% if manifest.manifest.irqs %}
- {% if manifest.attr.conditional %}
-#ifdef {{manifest.attr.conditional}}
+{% for partition in partitions %}
+ {% if partition.manifest.irqs %}
+ {% if partition.attr.conditional %}
+#ifdef {{partition.attr.conditional}}
{% endif %}
- {% for handler in manifest.manifest.irqs %}
+ {% for handler in partition.manifest.irqs %}
{% set irq_data = namespace() %}
{% if handler.source %}
{% set irq_data.line = handler.source %}
{% else %}
-#error "Interrupt source isn't provided for 'irqs' in partition {{manifest.manifest.name}}"
+#error "Interrupt source isn't provided for 'irqs' in partition {{partition.manifest.name}}"
{% endif %}
{% if handler.tfm_irq_priority %}
{% set irq_data.priority = handler.tfm_irq_priority %}
{% else %}
{% set irq_data.priority = "TFM_DEFAULT_SECURE_IRQ_PRIOTITY" %}
{% endif %}
- {{ _irq_record(manifest.manifest.name, handler.signal, irq_data.line, irq_data.priority) }}
+ {{ _irq_record(partition.manifest.name, handler.signal, irq_data.line, irq_data.priority) }}
{% endfor %}
- {% if manifest.attr.conditional %}
-#endif /* {{manifest.attr.conditional}} */
+ {% if partition.attr.conditional %}
+#endif /* {{partition.attr.conditional}} */
{% endif %}
{% endif %}
{% endfor %}
@@ -55,49 +55,49 @@ extern void priv_irq_handler_main(uint32_t partition_id,
uint32_t irq_line);
/* Forward declarations of unpriv IRQ handlers*/
-{% for manifest in manifests %}
- {% if manifest.manifest.irqs %}
- {% if manifest.attr.conditional %}
-#ifdef {{manifest.attr.conditional}}
+{% for partition in partitions %}
+ {% if partition.manifest.irqs %}
+ {% if partition.attr.conditional %}
+#ifdef {{partition.attr.conditional}}
{% endif %}
- {% for handler in manifest.manifest.irqs %}
+ {% for handler in partition.manifest.irqs %}
extern void {{handler.signal}}_isr(void);
{% endfor %}
- {% if manifest.attr.conditional %}
-#endif /* {{manifest.attr.conditional}} */
+ {% if partition.attr.conditional %}
+#endif /* {{partition.attr.conditional}} */
{% endif %}
{% endif %}
{% endfor %}
/* Definitions of privileged IRQ handlers */
-{% for manifest in manifests %}
- {% if manifest.manifest.irqs %}
- {% if manifest.attr.conditional %}
-#ifdef {{manifest.attr.conditional}}
+{% for partition in partitions %}
+ {% if partition.manifest.irqs %}
+ {% if partition.attr.conditional %}
+#ifdef {{partition.attr.conditional}}
{% endif %}
- {% for handler in manifest.manifest.irqs %}
+ {% for handler in partition.manifest.irqs %}
{% if handler.source is number %}
void irq_{{handler.source}}_Handler(void)
{% elif handler.source %}
void {{handler.source}}_Handler(void)
{% else %}
-#error "Interrupt source isn't provided for 'irqs' in partition {{manifest.manifest.name}}"
+#error "Interrupt source isn't provided for 'irqs' in partition {{partition.manifest.name}}"
{% endif %}
{
{% if handler.source %}
- priv_irq_handler_main({{manifest.manifest.name}},
+ priv_irq_handler_main({{partition.manifest.name}},
(uint32_t){{handler.signal}}_isr,
{{handler.signal}},
{{handler.source}});
{% else %}
-#error "Interrupt source isn't provided for 'irqs' in partition {{manifest.manifest.name}}"
+#error "Interrupt source isn't provided for 'irqs' in partition {{partition.manifest.name}}"
{% endif %}
}
{% endfor %}
- {% if manifest.attr.conditional %}
-#endif /* {{manifest.attr.conditional}} */
+ {% if partition.attr.conditional %}
+#endif /* {{partition.attr.conditional}} */
{% endif %}
{% endif %}