saved_spi_target   79 drivers/irqchip/irq-gic.c 	u32 saved_spi_target[DIV_ROUND_UP(1020, 4)];
saved_spi_target  597 drivers/irqchip/irq-gic.c 		gic->saved_spi_target[i] =
saved_spi_target  642 drivers/irqchip/irq-gic.c 		writel_relaxed(gic->saved_spi_target[i],