static void __init smp_store_cpu_info(int id) 
static void __cpuinit smp_store_cpu_info(int id) 
static void __init smp_store_cpu_info(int id){	struct cpuinfo_x86 *c = cpu_data + id;	*c = boot_cpu_data;	identify_cpu(c);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/a8ab26fe5bfeef43bdcde5182ca051ae0647607e/smpboot.c/buggy/arch/x86_64/kernel/smpboot.c