Lines Matching full:intid
42 int intid; member
54 iter->intid++; in iter_next()
55 if (iter->intid == VGIC_NR_PRIVATE_IRQS && in iter_next()
57 iter->intid = 0; in iter_next()
59 if (iter->intid >= (iter->nr_spis + VGIC_NR_PRIVATE_IRQS)) { in iter_next()
61 iter->intid = iter->lpi_array[iter->lpi_idx]; in iter_next()
90 iter->intid >= (iter->nr_spis + VGIC_NR_PRIVATE_IRQS) && in end_of_vgic()
192 if (irq->intid < VGIC_NR_SGIS) in print_irq_state()
194 else if (irq->intid < VGIC_NR_PRIVATE_IRQS) in print_irq_state()
196 else if (irq->intid < VGIC_MAX_SPI) in print_irq_state()
201 if (irq->intid ==0 || irq->intid == VGIC_NR_PRIVATE_IRQS) in print_irq_state()
213 type, irq->intid, in print_irq_state()
248 irq = vgic_get_irq(kvm, vcpu, iter->intid); in vgic_debug_show()
250 seq_printf(s, " LPI %4d freed\n", iter->intid); in vgic_debug_show()