gicv_idx         1704 drivers/irqchip/irq-gic-v3.c 	u32 gicv_idx;
gicv_idx         1713 drivers/irqchip/irq-gic-v3.c 				 &gicv_idx))
gicv_idx         1714 drivers/irqchip/irq-gic-v3.c 		gicv_idx = 1;
gicv_idx         1716 drivers/irqchip/irq-gic-v3.c 	gicv_idx += 3;	/* Also skip GICD, GICC, GICH */
gicv_idx         1717 drivers/irqchip/irq-gic-v3.c 	ret = of_address_to_resource(node, gicv_idx, &r);