gic_dist_restore   47 drivers/irqchip/irq-gic-pm.c 	gic_dist_restore(gic);
gic_dist_restore  757 drivers/irqchip/irq-gic.c 			gic_dist_restore(&gic_data[i]);
gic_dist_restore  140 include/linux/irqchip/arm-gic.h void gic_dist_restore(struct gic_chip_data *gic);