Lines Matching refs:irq
22 #include <irq.h>
255 uint32_t irq = gic_get_active_irq();
256 panic("IRQ %"PRIu32" in the kernel", irq);
316 uint32_t irq = 0;
317 irq = gic_get_active_irq();
318 debug(SUBSYS_DISPATCH, "IRQ %"PRIu32" while %s\n", irq,
322 if (timer_interrupt(irq)) {
329 else if(irq == 1)
331 gic_ack_irq(irq);
335 gic_ack_irq(irq);
336 send_user_interrupt(irq);
337 panic("Unhandled IRQ %"PRIu32"\n", irq);