Lines Matching refs:irq
13 static exception_t Arch_invokeIRQControl(irq_t irq, cte_t *handlerSlot, cte_t *controlSlot, bool_t trigger)
16 setIRQTrigger(irq, trigger);
18 return invokeIRQControl(irq, handlerSlot, controlSlot);
38 irq_t irq = (irq_t) CORE_IRQ_TO_IRQT(0, irq_w);
51 if (IRQ_IS_PPI(irq)) {
56 if (isIRQActive(irq)) {
58 userError("Rejecting request for IRQ %u. Already active.", (int)IRQT_TO_IRQ(irq));
65 getExtraCPtr(buffer, 0), (int)IRQT_TO_IRQ(irq));
74 getExtraCPtr(buffer, 0), (int)IRQT_TO_IRQ(irq));
79 return Arch_invokeIRQControl(irq, destSlot, srcSlot, trigger);
89 irq_t irq = CORE_IRQ_TO_IRQT(target, irq_w);
101 if (isIRQActive(irq)) {
103 userError("Rejecting request for IRQ %u. Already active.", (int)IRQT_TO_IRQ(irq));
110 getExtraCPtr(buffer, 0), (int)IRQT_TO_IRQ(irq));
119 getExtraCPtr(buffer, 0), (int)IRQT_TO_IRQ(irq));
128 if (!IRQ_IS_PPI(irq)) {
129 setIRQTarget(irq, target);
131 return Arch_invokeIRQControl(irq, destSlot, srcSlot, trigger);