ackInterrupt (definition) in projects: seL4-master

Searched defs:ackInterrupt (Results 1 – 7 of 7) sorted by relevance

/seL4-master/include/plat/pc99/plat/machine/
A D	interrupt.h	`92 static inline void ackInterrupt(irq_t irq) in ackInterrupt() function`
/seL4-master/src/arch/riscv/machine/
A D	hardware.c	`202 static inline void ackInterrupt(irq_t irq) in ackInterrupt() function`
/seL4-master/include/drivers/irq/
A D	omap3.h	`92 static inline void ackInterrupt(irq_t irq) in ackInterrupt() function`
A D	am335x.h	`101 static inline void ackInterrupt(irq_t irq) in ackInterrupt() function`
A D	bcm2836-armctrl-ic.h	`136 static inline void ackInterrupt(UNUSED irq_t irq) in ackInterrupt() function`
/seL4-master/include/arch/arm/arch/machine/
A D	gic_v2.h	`197 static inline void ackInterrupt(irq_t irq) in ackInterrupt() function`
A D	gic_v3.h	`336 static inline void ackInterrupt(irq_t irq) in ackInterrupt() function`

Completed in 8 milliseconds