Searched refs:gic_cpu_restore (Results 1 – 1 of 1) sorted by relevance
668 static void gic_cpu_restore(unsigned int gic_nr) in gic_cpu_restore() function726 gic_cpu_restore(i); in gic_notifier()