Lines Matching refs:intid
31 int intid;
43 iter->intid++;
44 if (iter->intid == VGIC_NR_PRIVATE_IRQS &&
46 iter->intid = 0;
48 if (iter->intid >= (iter->nr_spis + VGIC_NR_PRIVATE_IRQS)) {
50 iter->intid = iter->lpi_array[iter->lpi_idx];
79 iter->intid >= (iter->nr_spis + VGIC_NR_PRIVATE_IRQS) &&
183 if (irq->intid < VGIC_NR_SGIS)
185 else if (irq->intid < VGIC_NR_PRIVATE_IRQS)
187 else if (irq->intid < VGIC_MAX_SPI)
192 if (irq->intid ==0 || irq->intid == VGIC_NR_PRIVATE_IRQS)
196 if (irq->hw && vgic_irq_is_sgi(irq->intid)) {
214 type, irq->intid,
249 irq = vgic_get_irq(kvm, vcpu, iter->intid);
251 seq_printf(s, " LPI %4d freed\n", iter->intid);