static void uart_driver_exit(void)
{
vmm_devdrv_unregister_driver(&uart_driver);
}
static void __exit rbd_driver_exit(void)
{
vmm_devdrv_unregister_driver(&rbd_driver);
}
static void __exit mxc_hdmi_core_exit(void)
{
vmm_devdrv_unregister_driver(&mxc_hdmi_core_driver);
}
static void __exit mmci_driver_exit(void)
{
vmm_devdrv_unregister_driver(&mmci_driver);
}
static void __exit imx_src_exit(void)
{
vmm_devdrv_unregister_driver(&imx_src_driver);
}
static void __exit realview_sysreg_exit(void)
{
vmm_devdrv_unregister_driver(&realview_sysreg_driver);
}
static void __exit amba_kmi_driver_exit(void)
{
vmm_devdrv_unregister_driver(&amba_kmi_driver);
}
static void __exit uart_8250_driver_exit(void)
{
vmm_devdrv_unregister_driver(&uart_8250_driver);
}
static void __exit s3c_rtc_driver_exit(void)
{
vmm_devdrv_unregister_driver(&s3c_rtc_driver);
}
static void ne2k_driver_exit(void)
{
vmm_devdrv_unregister_driver(&ne2k_driver);
}
static void __exit sun4i_mdio_driver_exit(void)
{
vmm_devdrv_unregister_driver(&sun4i_mdio_driver);
}
static void __exit emac_driver_exit(void)
{
vmm_devdrv_unregister_driver(&emac_driver);
}
static void __exit omap_uart_driver_exit(void)
{
vmm_devdrv_unregister_driver(&omap_uart_driver);
}
static void __exit spi_imx_driver_exit(void)
{
vmm_devdrv_unregister_driver(&spi_imx_driver);
}
static void __exit samsung_driver_exit(void)
{
vmm_devdrv_unregister_driver(&samsung_driver);
}
static void __exit sram_exit(void)
{
vmm_devdrv_unregister_driver(&sram_driver);
}
static void __exit sun4i_reboot_exit(void)
{
vmm_devdrv_unregister_driver(&sun4i_reboot_driver);
}
