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