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

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

Completed in 101 milliseconds