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); }