} else { cpu_core_map[cpu] = cpu_sibling_map[cpu]; 
set_cpu_sibling_map(int cpu){	int i;	if (smp_num_siblings > 1) {		for (i = 0; i < NR_CPUS; i++) {			if (!cpu_isset(i, cpu_callout_map))				continue;			if (cpu_core_id[cpu] == cpu_core_id[i]) {				cpu_set(i, cpu_sibling_map[cpu]);				cpu_set(cpu, cpu_sibling_map[i]);			}		}	} else {		cpu_set(cpu, cpu_sibling_map[cpu]);	}	if (current_cpu_data.x86_num_cores > 1) {		for (i = 0; i < NR_CPUS; i++) {			if (!cpu_isset(i, cpu_callout_map))				continue;			if (phys_proc_id[cpu] == phys_proc_id[i]) {				cpu_set(i, cpu_core_map[cpu]);				cpu_set(cpu, cpu_core_map[i]);			}		}	} else {		cpu_core_map[cpu] = cpu_sibling_map[cpu];	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/94605eff572b727aaad9b4b29bc358b919096503/smpboot.c/buggy/arch/i386/kernel/smpboot.c