diff --git a/tests/kernel/interrupt/src/interrupt_util.h b/tests/kernel/interrupt/src/interrupt_util.h index b43a6f91709..362b970e730 100644 --- a/tests/kernel/interrupt/src/interrupt_util.h +++ b/tests/kernel/interrupt/src/interrupt_util.h @@ -62,6 +62,7 @@ static inline void trigger_irq(int irq) #elif defined(CONFIG_GIC) #include +#include static inline void trigger_irq(int irq) { diff --git a/tests/kernel/interrupt/src/nested_irq.c b/tests/kernel/interrupt/src/nested_irq.c index f982a2e96df..f1fe0e40ed3 100644 --- a/tests/kernel/interrupt/src/nested_irq.c +++ b/tests/kernel/interrupt/src/nested_irq.c @@ -47,8 +47,15 @@ #define IRQ0_LINE 14 #define IRQ1_LINE 15 -#define IRQ0_PRIO 2 -#define IRQ1_PRIO 1 +/* + * Choose lower prio for IRQ0 and higher priority for IRQ1 + * Minimum legal value of GICC BPR is '3' ie + * Hence choosing default priority and highest possible priority + * '0x0' as the priorities so that the preemption rule applies + * generically to all GIC versions and security states. + */ +#define IRQ0_PRIO IRQ_DEFAULT_PRIORITY +#define IRQ1_PRIO 0x0 #else /* * For all the other platforms, use the last two available IRQ lines for