Lines Matching refs:irq
22 static inline void handleReservedIRQ(irq_t irq)
25 if (irq == irq_iommu) {
32 printf("Received unhandled reserved IRQ: %d\n", (int)irq);
92 static inline void ackInterrupt(irq_t irq)
94 if (config_set(CONFIG_IRQ_PIC) && irq <= irq_isa_max) {
106 static void inline updateIRQState(irq_t irq, x86_irq_state_t state)
108 assert(irq <= maxIRQ);
109 x86KSIRQState[irq] = state;
112 static inline void maskInterrupt(bool_t disable, irq_t irq)
114 if (irq >= irq_isa_min && irq <= irq_isa_max) {
116 pic_mask_irq(disable, irq);
121 } else if (irq >= irq_user_min && irq <= irq_user_max) {
122 x86_irq_state_t state = x86KSIRQState[irq];
129 updateIRQState(irq, state);