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_callin_map);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/a9fa06c26f7b7914c8cdf4d309b74df3151cc227/smpboot.c/buggy/arch/ia64/kernel/smpboot.c