/* platform_init_cpus() - Tell the world about how many cores we have. This is called while setting up the architecture support (setup_arch()), so don't be too demanding here with respect to available kernel services.  */
void __init platform_init_cpus(void)
/* platform_init_cpus() - Tell the world about how many cores we have. This is called while setting up the architecture support (setup_arch()), so don't be too demanding here with respect to available kernel services.  */
void __init platform_init_cpus(void)
{
	cpu_set(0, cpu_possible_map);
	cpu_set(1, cpu_possible_map);
}