static void mp_initialize_cpu(void)
{
	/* Call back into driver infrastructure for the AP initialization.   */
	struct cpu_info *info = cpu_info();
	cpu_initialize(info->index);
}
static void mp_initialize_cpu(void)
{
	 
	struct cpu_info *info = cpu_info();
	cpu_initialize(info->index);
}