static void __init u5500_init_machine(void) { u5500_init_devices(); amba_add_devices(amba_board_devs, ARRAY_SIZE(amba_board_devs)); }
void __init ux500_init_devices(void) { amba_add_devices(ux500_amba_devs, ARRAY_SIZE(ux500_amba_devs)); }