31 	unsigned long intid;  member
46 	 * has exhausted the sequentially-allocated INTID space.  in iter_next()
48 	if (iter->intid >= (iter->nr_spis + VGIC_NR_PRIVATE_IRQS - 1) &&  in iter_next()
51 			xa_find_after(&dist->lpi_xa, &iter->intid,  in iter_next()
58 	iter->intid++;  in iter_next()
59 	if (iter->intid == VGIC_NR_PRIVATE_IRQS &&  in iter_next()
61 		iter->intid = 0;  in iter_next()
68 	unsigned long intid;  in iter_mark_lpis()  local
71 	xa_for_each(&dist->lpi_xa, intid, irq) {  in iter_mark_lpis()
75 		xa_set_mark(&dist->lpi_xa, intid, LPI_XA_MARK_DEBUG_ITER);  in iter_mark_lpis()
86 	unsigned long intid;  in iter_unmark_lpis()  local
88 	xa_for_each_marked(&dist->lpi_xa, intid, irq, LPI_XA_MARK_DEBUG_ITER) {  in iter_unmark_lpis()
89 		xa_clear_mark(&dist->lpi_xa, intid, LPI_XA_MARK_DEBUG_ITER);  in iter_unmark_lpis()
115 		iter->intid >= (iter->nr_spis + VGIC_NR_PRIVATE_IRQS) &&  in end_of_vgic()
220 	if (irq->intid < VGIC_NR_SGIS)  in print_irq_state()
222 	else if (irq->intid < VGIC_NR_PRIVATE_IRQS)  in print_irq_state()
224 	else if (irq->intid < VGIC_MAX_SPI)  in print_irq_state()
229 	if (irq->intid ==0 || irq->intid == VGIC_NR_PRIVATE_IRQS)  in print_irq_state()
233 	if (irq->hw && vgic_irq_is_sgi(irq->intid)) {  in print_irq_state()
251 			type, irq->intid,  in print_irq_state()
290 	irq = vgic_get_irq(kvm, vcpu, iter->intid);  in vgic_debug_show()