/* This function is called from the board init  */
void __init u8500_init_devices(void)
/* This function is called from the board init  */
void __init u8500_init_devices(void)
{
	platform_add_devices(platform_devs, ARRAY_SIZE(platform_devs));
	return ;
}