isIRQPending (definition) in projects: seL4-master

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

/seL4-master/include/plat/pc99/plat/machine/
A D	interrupt.h	`79 static inline bool_t isIRQPending(void) in isIRQPending() function`
/seL4-master/src/arch/riscv/machine/
A D	hardware.c	`158 static inline bool_t isIRQPending(void) in isIRQPending() function`
/seL4-master/include/drivers/irq/
A D	omap3.h	`75 static inline bool_t isIRQPending(void) in isIRQPending() function`
A D	am335x.h	`84 static inline bool_t isIRQPending(void) in isIRQPending() function`
A D	bcm2836-armctrl-ic.h	`126 static inline bool_t isIRQPending(void) in isIRQPending() function`
/seL4-master/include/arch/arm/arch/machine/
A D	gic_v2.h	`180 static inline bool_t isIRQPending(void) in isIRQPending() function`
A D	gic_v3.h	`315 static inline bool_t isIRQPending(void) in isIRQPending() function`

Completed in 9 milliseconds