Searched refs:ackInterrupt (Results 1 - 12 of 12) sorted by relevance

/seL4-l4v-master/seL4/include/machine/
H A Dinterrupt.h56 * until ackInterrupt is called. getActiveIRQ returns irqInvalid if no interrupt
90 * ackInterrupt is used by the kernel to indicate it has processed the interrupt
98 static inline void ackInterrupt(irq_t irq);
113 * ackInterrupt will likely be immediately called after.
/seL4-l4v-master/seL4/include/drivers/timer/
H A Domap3430.h73 ackInterrupt(KERNEL_TIMER_IRQ);
H A Dam335x.h89 ackInterrupt(KERNEL_TIMER_IRQ);
/seL4-l4v-master/seL4/include/drivers/irq/
H A Dimx31.h82 static inline void ackInterrupt(irq_t irq) function
H A Dam335x.h101 static inline void ackInterrupt(irq_t irq) function
H A Domap3.h92 static inline void ackInterrupt(irq_t irq) function
H A Dbcm2836-armctrl-ic.h136 static inline void ackInterrupt(UNUSED irq_t irq) function
/seL4-l4v-master/seL4/include/plat/pc99/plat/machine/
H A Dinterrupt.h92 static inline void ackInterrupt(irq_t irq) function
/seL4-l4v-master/seL4/src/object/
H A Dinterrupt.c193 ackInterrupt(irq);
254 ackInterrupt(irq);
/seL4-l4v-master/seL4/src/arch/riscv/machine/
H A Dhardware.c121 * Gets the active irq. Returns the same irq if called again before ackInterrupt.
124 * called multiple times and needs to return the same IRQ until ackInterrupt is
128 * ackInterrupt is called.
212 * ackInterrupt is used by the kernel to indicate it has processed the interrupt
219 static inline void ackInterrupt(irq_t irq) function
/seL4-l4v-master/seL4/include/arch/arm/arch/machine/
H A Dgic_v2.h196 static inline void ackInterrupt(irq_t irq) function
H A Dgic_v3.h276 static inline void ackInterrupt(irq_t irq) function

Completed in 142 milliseconds