cpu_set(0, cpu_sibling_map[0]); cpu_set(0, cpu_core_map[0]); 
void __init smp_prepare_boot_cpu(void){	int me = smp_processor_id();	cpu_set(me, cpu_online_map);	cpu_set(me, cpu_callout_map);	cpu_set(0, cpu_sibling_map[0]);	cpu_set(0, cpu_core_map[0]);	per_cpu(cpu_state, me) = CPU_ONLINE;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/94605eff572b727aaad9b4b29bc358b919096503/smpboot.c/clean/arch/x86_64/kernel/smpboot.c