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