int libpci2isa_LTX_plugin_init(plugin_t *plugin, plugintype_t type, int argc, char *argv[]) { thePci2IsaBridge = new bx_piix3_c(); bx_devices.pluginPci2IsaBridge = thePci2IsaBridge; BX_REGISTER_DEVICE_DEVMODEL(plugin, type, thePci2IsaBridge, BX_PLUGIN_PCI2ISA); return(0); // Success }
int libbiosdev_LTX_plugin_init(plugin_t *plugin, plugintype_t type, int argc, char *argv[]) { theBiosDevice = new bx_biosdev_c(); bx_devices.pluginBiosDevice = theBiosDevice; BX_REGISTER_DEVICE_DEVMODEL(plugin, type, theBiosDevice, BX_PLUGIN_BIOSDEV); return(0); // Success }
int libpcidev_LTX_plugin_init(plugin_t *plugin, plugintype_t type, int argc, char *argv[]) { thePciDevAdapter = new bx_pcidev_c(); bx_devices.pluginPciDevAdapter = thePciDevAdapter; BX_REGISTER_DEVICE_DEVMODEL(plugin, type, thePciDevAdapter, BX_PLUGIN_PCIDEV); return 0; // Success }
int libpcipnic_LTX_plugin_init(plugin_t *plugin, plugintype_t type, int argc, char *argv[]) { thePNICDevice = new bx_pcipnic_c(); bx_devices.pluginPciPNicAdapter = thePNICDevice; BX_REGISTER_DEVICE_DEVMODEL(plugin, type, thePNICDevice, BX_PLUGIN_PCIPNIC); return 0; // Success }
int libextfpuirq_LTX_plugin_init(plugin_t *plugin, plugintype_t type, int argc, char *argv[]) { theExternalFpuIrq = new bx_extfpuirq_c(); bx_devices.pluginExtFpuIrq = theExternalFpuIrq; BX_REGISTER_DEVICE_DEVMODEL(plugin, type, theExternalFpuIrq, BX_PLUGIN_EXTFPUIRQ); return(0); // Success }
int libpit_LTX_plugin_init(plugin_t *plugin, plugintype_t type, int argc, char *argv[]) { thePit = new bx_pit_c(); bx_devices.pluginPitDevice = thePit; BX_REGISTER_DEVICE_DEVMODEL(plugin, type, thePit, BX_PLUGIN_PIT); return(0); // Success }