new_cpei_cpu      608 arch/ia64/kernel/smpboot.c 	int new_cpei_cpu;
new_cpei_cpu      622 arch/ia64/kernel/smpboot.c 			new_cpei_cpu = cpumask_any(cpu_online_mask);
new_cpei_cpu      623 arch/ia64/kernel/smpboot.c 			mask = cpumask_of(new_cpei_cpu);
new_cpei_cpu      624 arch/ia64/kernel/smpboot.c 			set_cpei_target_cpu(new_cpei_cpu);
new_cpei_cpu      635 arch/ia64/kernel/smpboot.c 				printk ("Re-targeting CPEI to cpu %d\n", new_cpei_cpu);