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);