Searched refs:new_cpei_cpu (Results 1 – 1 of 1) sorted by relevance
610 int new_cpei_cpu; in migrate_platform_irqs() local624 new_cpei_cpu = cpumask_any(cpu_online_mask); in migrate_platform_irqs()625 mask = cpumask_of(new_cpei_cpu); in migrate_platform_irqs()626 set_cpei_target_cpu(new_cpei_cpu); in migrate_platform_irqs()637 printk ("Re-targeting CPEI to cpu %d\n", new_cpei_cpu); in migrate_platform_irqs()