Lines Matching refs:irq
123 ASSERT(desc->irq < gic_number_lines());/* Can't route interrupts that don't exist */ in gic_route_irq_to_xen()
473 if ( lr_val.virq == p->irq ) in gic_find_unused_lr()
513 int irq; in gic_update_one_lr() local
520 irq = lr_val.virq; in gic_update_one_lr()
521 p = irq_to_pending(v, irq); in gic_update_one_lr()
531 ASSERT(is_lpi(irq)); in gic_update_one_lr()
552 irq, v->domain->domain_id, v->vcpu_id, i); in gic_update_one_lr()
561 irq, v->domain->domain_id, v->vcpu_id, i); in gic_update_one_lr()
577 gic_raise_guest_irq(v, irq, p->priority); in gic_update_one_lr()
589 struct vcpu *v_target = vgic_get_target_vcpu(v, irq); in gic_update_one_lr()
770 unsigned int irq; in gic_interrupt() local
774 irq = gic_hw_ops->read_irq(); in gic_interrupt()
776 if ( likely(irq >= 16 && irq < 1020) ) in gic_interrupt()
779 do_IRQ(regs, irq, is_fiq); in gic_interrupt()
782 else if ( is_lpi(irq) ) in gic_interrupt()
785 gic_hw_ops->do_LPI(irq); in gic_interrupt()
788 else if ( unlikely(irq < 16) ) in gic_interrupt()
790 do_sgi(regs, irq); in gic_interrupt()
800 static void maintenance_interrupt(int irq, void *dev_id, struct cpu_user_regs *regs) in maintenance_interrupt() argument
825 printk("Inflight irq=%u lr=%u\n", p->irq, p->lr); in gic_dump_info()
830 printk("Pending irq=%d\n", p->irq); in gic_dump_info()