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