gic_cpu_restore    48 drivers/irqchip/irq-gic-pm.c 	gic_cpu_restore(gic);
gic_cpu_restore   750 drivers/irqchip/irq-gic.c 			gic_cpu_restore(&gic_data[i]);
gic_cpu_restore   138 include/linux/irqchip/arm-gic.h void gic_cpu_restore(struct gic_chip_data *gic);