Searched refs:isIRQActive (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-master/seL4/include/object/
H A Dinterrupt.h27 bool_t isIRQActive(irq_t irq);
/seL4-l4v-master/seL4/src/arch/arm/object/
H A Dinterrupt.c56 if (isIRQActive(irq)) {
101 if (isIRQActive(irq)) {
/seL4-l4v-master/seL4/src/arch/riscv/object/
H A Dinterrupt.c62 if (isIRQActive(irq)) {
/seL4-l4v-master/seL4/src/drivers/timer/
H A Dgeneric_timer.c126 if (likely(isIRQActive(CORE_IRQ_TO_IRQT(CURRENT_CPU_INDEX(), INTERRUPT_VTIMER_EVENT)))) {
/seL4-l4v-master/seL4/src/object/
H A Dinterrupt.c51 if (isIRQActive(irq)) {
257 bool_t isIRQActive(irq_t irq) function
/seL4-l4v-master/seL4/src/machine/
H A Dcapdl.c329 if (isIRQActive(irq)) {
350 if (isIRQActive(irq)) {
/seL4-l4v-master/seL4/src/arch/x86/object/
H A Dinterrupt.c113 if (isIRQActive(irq)) {

Completed in 158 milliseconds