Home
last modified time | relevance | path

Searched refs:getActiveIRQ (Results 1 – 12 of 12) sorted by relevance

/seL4-master/include/drivers/irq/
A Domap3.h57 static inline irq_t getActiveIRQ(void) in getActiveIRQ() function
77 return getActiveIRQ() != irqInvalid; in isIRQPending()
A Dam335x.h69 static inline irq_t getActiveIRQ(void) in getActiveIRQ() function
86 return getActiveIRQ() != irqInvalid; in isIRQPending()
/seL4-master/src/arch/arm/
A Dc_traps.c92 NODE_LOCK_IRQ_IF(IRQT_TO_IRQ(getActiveIRQ()) != irq_remote_call_ipi); in c_handle_interrupt()
97 ksKernelEntry.word = IRQT_TO_IRQ(getActiveIRQ()); in c_handle_interrupt()
/seL4-master/include/machine/
A Dinterrupt.h63 static inline irq_t getActiveIRQ(void);
/seL4-master/src/api/
A Dsyscall.c39 irq = getActiveIRQ(); in handleInterruptEntry()
626 irq = getActiveIRQ(); in handleSyscall()
638 irq = getActiveIRQ(); in handleSyscall()
649 irq = getActiveIRQ(); in handleSyscall()
691 irq = getActiveIRQ(); in handleSyscall()
705 irq = getActiveIRQ(); in handleSyscall()
/seL4-master/src/plat/pc99/machine/
A Dpic.c90 irq_t irq = getActiveIRQ(); in pic_ack_active_irq()
/seL4-master/include/plat/pc99/plat/machine/
A Dinterrupt.h55 static inline irq_t getActiveIRQ(void) in getActiveIRQ() function
/seL4-master/src/plat/bcm2837/machine/
A Dintc.c27 static inline irq_t getActiveIRQ(void) in getActiveIRQ() function
/seL4-master/src/arch/riscv/machine/
A Dhardware.c84 static inline irq_t getActiveIRQ(void) in getActiveIRQ() function
/seL4-master/src/arch/riscv/
A Dc_traps.c104 NODE_LOCK_IRQ_IF(getActiveIRQ() != irq_remote_call_ipi); in c_handle_interrupt()
/seL4-master/include/arch/arm/arch/machine/
A Dgic_v2.h159 static inline irq_t getActiveIRQ(void) in getActiveIRQ() function
A Dgic_v3.h289 static inline irq_t getActiveIRQ(void) in getActiveIRQ() function

Completed in 19 milliseconds