gic_cpu_restore
gic_cpu_restore(gic);
gic_cpu_restore(&gic_data[i]);
void gic_cpu_restore(struct gic_chip_data *gic);