set_cpei_target_cpu 49 arch/ia64/include/asm/acpi.h extern void set_cpei_target_cpu(unsigned int cpu); set_cpei_target_cpu 624 arch/ia64/kernel/smpboot.c set_cpei_target_cpu(new_cpei_cpu);