portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

machine: move setIRQTrigger into interrupt.h

Browse source 
Move setIRQTrigger from <arch>/hardware.h into interrupt.h together
with the rest of the IRQ interface, because it is now a visible
interface even for platforms and architectures that do not provide the
functionality.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2025-08-23 21:13:17 +01:00
parent ec918cf123
commit 73df5be82c
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
include/arch/arm/arch/machine.h
View file

@ -19,7 +19,6 @@ void initL2Cache(void);
void initIRQController(void);
void cpu_initLocalIRQController(void);
void setIRQTrigger(irq_t irq, bool_t trigger);
#ifdef ENABLE_SMP_SUPPORT
void setIRQTarget(irq_t irq, seL4_Word target);
#endif

3
include/machine/interrupt.h
View file

@ -130,7 +130,8 @@ static inline void handleSpuriousIRQ(void);
*/
static inline void handleReservedIRQ(irq_t irq);
#ifndef CONFIG_ARM_GIC_V3_SUPPORT
void setIRQTrigger(irq_t irq, bool_t trigger);
#ifndef CONFIG_ARM_GIC_V3_SUPPORT
static inline void deactivateInterrupt(irq_t irq) {}
#endif