Lines Matching refs:intid
61 u32 cpuid, intid = val & GICH_LR_VIRTUALID;
70 if (lr_signals_eoi_mi(val) && vgic_valid_spi(vcpu->kvm, intid))
72 intid - VGIC_NR_PRIVATE_IRQS);
74 irq = vgic_get_irq(vcpu->kvm, vcpu, intid);
81 if (irq->active && vgic_irq_is_sgi(intid))
89 if (vgic_irq_is_sgi(intid))
139 u32 val = irq->intid;
144 if (vgic_irq_is_sgi(irq->intid))
184 if (vgic_irq_is_sgi(irq->intid)) {
188 irq->intid))