463 do_boot_cpu (int sapicid, int cpu, struct task_struct *idle)  in do_boot_cpu()  argument
468 	Dprintk("Sending wakeup vector %lu to AP 0x%x/0x%x.\n", ap_wakeup_vector, cpu, sapicid);  in do_boot_cpu()
486 		printk(KERN_ERR "Processor 0x%x/0x%x is stuck.\n", cpu, sapicid);  in do_boot_cpu()
510 	int sapicid, cpu, i;  in smp_build_cpu_map()  local
521 		sapicid = smp_boot_data.cpu_phys_id[i];  in smp_build_cpu_map()
522 		if (sapicid == boot_cpu_id)  in smp_build_cpu_map()
526 		ia64_cpu_to_sapicid[cpu] = sapicid;  in smp_build_cpu_map()
738 	int sapicid;  in __cpu_up()  local
740 	sapicid = ia64_cpu_to_sapicid[cpu];  in __cpu_up()
741 	if (sapicid == -1)  in __cpu_up()
753 	ret = do_boot_cpu(sapicid, cpu, tidle);  in __cpu_up()