Searched refs:gic_cpu_save (Results 1 – 1 of 1) sorted by relevance
519 static void gic_cpu_save(unsigned int gic_nr) in gic_cpu_save() function589 gic_cpu_save(i); in gic_notifier()