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