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);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/cb0cd8d49a9b81aff7a02e2ed826b5cfdfe9a172/smpboot.c/clean/arch/x86_64/kernel/smpboot.c