getActiveIRQ (definition) in projects: seL4-master

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

/seL4-master/src/plat/bcm2837/machine/
A D	intc.c	`27 static inline irq_t getActiveIRQ(void) in getActiveIRQ() function`
/seL4-master/include/plat/pc99/plat/machine/
A D	interrupt.h	`55 static inline irq_t getActiveIRQ(void) in getActiveIRQ() function`
/seL4-master/src/arch/riscv/machine/
A D	hardware.c	`84 static inline irq_t getActiveIRQ(void) in getActiveIRQ() function`
/seL4-master/include/drivers/irq/
A D	omap3.h	`57 static inline irq_t getActiveIRQ(void) in getActiveIRQ() function`
A D	am335x.h	`69 static inline irq_t getActiveIRQ(void) in getActiveIRQ() function`
/seL4-master/include/arch/arm/arch/machine/
A D	gic_v2.h	`159 static inline irq_t getActiveIRQ(void) in getActiveIRQ() function`
A D	gic_v3.h	`289 static inline irq_t getActiveIRQ(void) in getActiveIRQ() function`

Completed in 15 milliseconds