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