isIRQPending (reference) in projects: seL4-master

Searched refs:isIRQPending (Results 1 – 9 of 9) sorted by relevance

/seL4-master/src/model/
A D	preemption.c	`34 \|\| isCurDomainExpired() \|\| isIRQPending()) { 36 if (isIRQPending()) {`
/seL4-master/include/machine/
A D	interrupt.h	`75 static inline bool_t isIRQPending(void);`
/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/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/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 11 milliseconds