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