cpu_set(smp_processor_id(), cpu_possible_map); 
void __devinit smp_prepare_boot_cpu(void){	cpu_set(smp_processor_id(), cpu_online_map);	cpu_set(smp_processor_id(), cpu_callout_map);	cpu_set(smp_processor_id(), cpu_present_map);	per_cpu(cpu_state, smp_processor_id()) = CPU_ONLINE;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/4ad8d38342430f8b52f7a8458dce90caf8c8ca64/smpboot.c/buggy/arch/i386/kernel/smpboot.c