462 do_boot_cpu (int sapicid, int cpu, struct task_struct *idle)  in do_boot_cpu()  argument
467 	Dprintk("Sending wakeup vector %lu to AP 0x%x/0x%x.\n", ap_wakeup_vector, cpu, sapicid);  in do_boot_cpu()
485 		printk(KERN_ERR "Processor 0x%x/0x%x is stuck.\n", cpu, sapicid);  in do_boot_cpu()
509 	int sapicid, cpu, i;  in smp_build_cpu_map()  local
520 		sapicid = smp_boot_data.cpu_phys_id[i];  in smp_build_cpu_map()
521 		if (sapicid == boot_cpu_id)  in smp_build_cpu_map()
525 		ia64_cpu_to_sapicid[cpu] = sapicid;  in smp_build_cpu_map()
736 	int sapicid;  in __cpu_up()  local
738 	sapicid = ia64_cpu_to_sapicid[cpu];  in __cpu_up()
739 	if (sapicid == -1)  in __cpu_up()
751 	ret = do_boot_cpu(sapicid, cpu, tidle);  in __cpu_up()