static int __init virtio_pci_emulator_init(void) { int rc; if ((rc = pci_emu_register_device(&virtio_pci_emulator)) != VMM_OK) return rc; return vmm_devemu_register_emulator(&virtio_bar_emulator); }
static int __init fwcfg_emulator_init(void) { return vmm_devemu_register_emulator(&fwcfg_emulator); }
static int __init virtio_mmio_init(void) { return vmm_devemu_register_emulator(&virtio_mmio); }
static int __init gpex_emulator_init(void) { return vmm_devemu_register_emulator(&gpex_emulator); }
static int __init zero_emulator_init(void) { return vmm_devemu_register_emulator(&zero_emulator); }
static int __init arm11mpcore_emulator_init(void) { return vmm_devemu_register_emulator(&arm11mpcore_emulator); }