461 do_boot_cpu (int sapicid, int cpu, struct task_struct *idle)  in do_boot_cpu()  argument
466 	Dprintk("Sending wakeup vector %lu to AP 0x%x/0x%x.\n", ap_wakeup_vector, cpu, sapicid);  in do_boot_cpu()
484 		printk(KERN_ERR "Processor 0x%x/0x%x is stuck.\n", cpu, sapicid);  in do_boot_cpu()
508 	int sapicid, cpu, i;  in smp_build_cpu_map()  local
519 		sapicid = smp_boot_data.cpu_phys_id[i];  in smp_build_cpu_map()
520 		if (sapicid == boot_cpu_id)  in smp_build_cpu_map()
524 		ia64_cpu_to_sapicid[cpu] = sapicid;  in smp_build_cpu_map()
730 	int sapicid;  in __cpu_up()  local
732 	sapicid = ia64_cpu_to_sapicid[cpu];  in __cpu_up()
733 	if (sapicid == -1)  in __cpu_up()
745 	ret = do_boot_cpu(sapicid, cpu, tidle);  in __cpu_up()