static int __init realview_sysreg_init(void)
{
/* Note: realview_sysreg_of_early_init() must be called
* from arch_board_early_init() or arch_cpu_early_init()
* before we reach here.
*/
return vmm_devdrv_register_driver(&realview_sysreg_driver);
}
static int __init sram_init(void)
{
return vmm_devdrv_register_driver(&sram_driver);
}
static int __init spi_imx_driver_init(void)
{
return vmm_devdrv_register_driver(&spi_imx_driver);
}
static int __init rbd_driver_init(void)
{
return vmm_devdrv_register_driver(&rbd_driver);
}
static int __init uart_driver_init(void)
{
return vmm_devdrv_register_driver(&uart_driver);
}
static int __init mmci_driver_init(void)
{
return vmm_devdrv_register_driver(&mmci_driver);
}
static int __init mxc_hdmi_core_init(void)
{
return vmm_devdrv_register_driver(&mxc_hdmi_core_driver);
}
static int __init samsung_driver_init(void)
{
return vmm_devdrv_register_driver(&samsung_driver);
}
static int __init imx_src_init(void)
{
return vmm_devdrv_register_driver(&imx_src_driver);
}
static int __init amba_kmi_driver_init(void)
{
return vmm_devdrv_register_driver(&amba_kmi_driver);
}
static int __init ne2k_driver_init(void)
{
return vmm_devdrv_register_driver(&ne2k_driver);
}
static int __init s3c_rtc_driver_init(void)
{
return vmm_devdrv_register_driver(&s3c_rtc_driver);
}
static int __init sun4i_mdio_driver_init(void)
{
return vmm_devdrv_register_driver(&sun4i_mdio_driver);
}
static int __init emac_driver_init(void)
{
return vmm_devdrv_register_driver(&emac_driver);
}
