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