/* The bootstrap kernel entry code has set these up. Save them for a given CPU  */
void __cpuinit smp_store_cpu_info(int id)
/* The bootstrap kernel entry code has set these up. Save them for a given CPU  */
void __cpuinit smp_store_cpu_info(int id)
{
	struct cpuinfo_x86 *c = &cpu_data(id);
	copy_cpuinfo_x86(c, &boot_cpu_data);
	c->cpu_index = id;
	if (id != 0)
		identify_secondary_cpu(c);
}