Searched refs:set_cpei_target_cpu (Results 1 – 3 of 3) sorted by relevance
141 extern void set_cpei_target_cpu(unsigned int cpu);
689 set_cpei_target_cpu(new_cpei_cpu); in migrate_platform_irqs()
327 void set_cpei_target_cpu(unsigned int cpu) in set_cpei_target_cpu() function