Lines Matching refs:intid
61 u32 cpuid, intid = val & GICH_LR_VIRTUALID;
71 if (lr_signals_eoi_mi(val) && vgic_valid_spi(vcpu->kvm, intid))
73 intid - VGIC_NR_PRIVATE_IRQS);
75 irq = vgic_get_irq(vcpu->kvm, vcpu, intid);
83 if (irq->active && vgic_irq_is_sgi(intid))
91 if (vgic_irq_is_sgi(intid))
124 u32 val = irq->intid;
129 if (vgic_irq_is_sgi(irq->intid))
169 if (vgic_irq_is_sgi(irq->intid)) {
173 irq->intid))