{ cpu_enable(cpu); local_irq_enable(); while (!cpu_isset(cpu, cpu_online_map)) mb(); return 0; } 
return -EINVAL;  
__cpu_up (unsigned int cpu){	int ret;	int sapicid;	sapicid = ia64_cpu_to_sapicid[cpu];	if (sapicid == -1)		return -EINVAL;	/*	 * Already booted.. just enable and get outa idle lool	 */	if (cpu_isset(cpu, cpu_callin_map))	{		cpu_enable(cpu);		local_irq_enable();		while (!cpu_isset(cpu, cpu_online_map))			mb();		return 0;	}	/* Processor goes to start_secondary(), sets online flag */	ret = do_boot_cpu(sapicid, cpu);	if (ret < 0)		return ret;	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b8d8b883e6f029e99c35c88f853501740e322131/smpboot.c/clean/arch/ia64/kernel/smpboot.c