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

/seL4-mcs-10.1.1/src/model/
H A Dpreemption.c36 if (isIRQPending()) {
/seL4-mcs-10.1.1/include/plat/imx31/plat/machine/
H A Dinterrupt.h71 isIRQPending(void) function
/seL4-mcs-10.1.1/include/plat/spike/plat/machine/
H A Dhardware.h69 bool_t isIRQPending(void);
/seL4-mcs-10.1.1/include/plat/am335x/plat/machine/
H A Dinterrupt.h86 isIRQPending(void) function
/seL4-mcs-10.1.1/include/plat/omap3/plat/machine/
H A Dinterrupt.h77 isIRQPending(void) function
/seL4-mcs-10.1.1/include/plat/pc99/plat/machine/
H A Dinterrupt.h85 isIRQPending(void) function
/seL4-mcs-10.1.1/src/plat/spike/machine/
H A Dhardware.c79 bool_t isIRQPending(void) function
/seL4-mcs-10.1.1/include/plat/bcm2837/plat/
H A Dmachine.h157 isIRQPending(void) function
/seL4-mcs-10.1.1/include/arch/arm/arch/machine/
H A Dgic_pl390.h211 isIRQPending(void) function

Completed in 62 milliseconds