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