cpu_set(cpu, cpu_present_map); 
void __init smp_prepare_boot_cpu(void){	unsigned int cpu = smp_processor_id();	cpu_set(cpu, cpu_possible_map);	cpu_set(cpu, cpu_online_map);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/73eb7d9e8cfd16813eec94d0ec8fa2a5262a85cc/smp.c/buggy/arch/arm/kernel/smp.c