RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

arm: make HAVE_SET_TRIGGER visible to verification

Browse Source 
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein
2025-08-15 17:47:24 +01:00
parent a117712c19
commit 9d17561157
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/arch/arm/object/interrupt.c
View File

@@ -12,9 +12,9 @@
static exception_t Arch_invokeIRQControl(irq_t irq, cte_t *handlerSlot, cte_t *controlSlot, bool_t trigger)
{
#ifdef HAVE_SET_TRIGGER
setIRQTrigger(irq, trigger);
#endif
if (config_set(HAVE_SET_TRIGGER)) {
setIRQTrigger(irq, trigger);
}
return invokeIRQControl(irq, handlerSlot, controlSlot);
}