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