void __devinit smp_prepare_boot_cpu(void) 
void __init smp_prepare_boot_cpu(void) 
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/a8ab26fe5bfeef43bdcde5182ca051ae0647607e/smpboot.c/clean/arch/x86_64/kernel/smpboot.c