Lines Matching defs:irq
61 Arch_invokeIRQControl(irq_t irq, cte_t *handlerSlot, cte_t *controlSlot, x86_irq_state_t irqState)
63 updateIRQState(irq, irqState);
64 return invokeIRQControl(irq, handlerSlot, controlSlot);
68 invokeIssueIRQHandlerIOAPIC(irq_t irq, word_t ioapic, word_t pin, word_t level, word_t polarity, word_t vector,
73 return Arch_invokeIRQControl(irq, handlerSlot, controlSlot, irqState);
84 irq_t irq;
110 irq = getSyscallArg(6, buffer);
111 if (irq > irq_user_max - irq_user_min) {
112 userError("IRQControl: Invalid irq %ld should be between 0-%ld", (long)irq, (long)(irq_user_max - irq_user_min));
118 irq += irq_user_min;
120 if (isIRQActive(irq)) {
121 userError("IRQControl: IRQ %d is already active.", (int)irq);
126 vector = (word_t)irq + IRQ_INT_OFFSET;
153 return invokeIssueIRQHandlerIOAPIC(irq, ioapic, pin, level, polarity, vector, destSlot, srcSlot);
190 return Arch_invokeIRQControl(irq, destSlot, srcSlot, irqState);