Searched refs:new_cpei_cpu (Results 1 - 1 of 1) sorted by relevance

/linux-4.1.27/arch/ia64/kernel/
H A Dsmpboot.c611 int new_cpei_cpu; migrate_platform_irqs() local
625 new_cpei_cpu = cpumask_any(cpu_online_mask); migrate_platform_irqs()
626 mask = cpumask_of(new_cpei_cpu); migrate_platform_irqs()
627 set_cpei_target_cpu(new_cpei_cpu); migrate_platform_irqs()
638 printk ("Re-targeting CPEI to cpu %d\n", new_cpei_cpu); migrate_platform_irqs()

Completed in 66 milliseconds