per_cpu(cpu_state, cpu) = CPU_UP_PREPARE; 
__cpu_up (unsigned int cpu){	int ret;	int sapicid;	sapicid = ia64_cpu_to_sapicid[cpu];	if (sapicid == -1)		return -EINVAL;	/*	 * Already booted cpu? not valid anymore since we dont	 * do idle loop tightspin anymore.	 */	if (cpu_isset(cpu, cpu_callin_map))		return -EINVAL;	/* Processor goes to start_secondary(), sets online flag */	ret = do_boot_cpu(sapicid, cpu);	if (ret < 0)		return ret;	if (cpu_data(cpu)->threads_per_core == 1 &&	    cpu_data(cpu)->cores_per_socket == 1) {		cpu_set(cpu, cpu_sibling_map[cpu]);		cpu_set(cpu, cpu_core_map[cpu]);		return 0;	}	set_cpu_sibling_map(cpu);	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/a9fa06c26f7b7914c8cdf4d309b74df3151cc227/smpboot.c/buggy/arch/ia64/kernel/smpboot.c