static void __exit fwcfg_emulator_exit(void) { vmm_devemu_unregister_emulator(&fwcfg_emulator); }
static void __exit virtio_mmio_exit(void) { vmm_devemu_unregister_emulator(&virtio_mmio); }
static void __exit gpex_emulator_exit(void) { vmm_devemu_unregister_emulator(&gpex_emulator); }
static void __exit zero_emulator_exit(void) { vmm_devemu_unregister_emulator(&zero_emulator); }
static void __exit arm11mpcore_emulator_exit(void) { vmm_devemu_unregister_emulator(&arm11mpcore_emulator); }
static void __exit virtio_pci_emulator_exit(void) { pci_emu_unregister_device(&virtio_pci_emulator); vmm_devemu_unregister_emulator(&virtio_bar_emulator); }