void at_batman_init() { at_init(); mouse_ps2_init(); pci_init(PCI_CONFIG_TYPE_2, 0xd, 0x10); i430lx_init(); fdc37c665_init(); intel_batman_init(); }
void at_plato_init() { at_init(); mouse_ps2_init(); pci_init(PCI_CONFIG_TYPE_2, 0xd, 0x10); i430nx_init(); sio_init(1); fdc37c665_init(); /* It seems it uses the same interface as Batman. */ intel_batman_init(); // device_add(&intel_flash_bxt_ami_device); }
void at_batman_init() { PCI = 1; maxide = 4; AT = 1; is386 = 1; at_init(); // mouse_serial_init(); mouse_ps2_init(); pci_init(PCI_CONFIG_TYPE_2, 0xd, 0x10); i430lx_init(); fdc37c665_init(); intel_batman_init(); device_add(&intel_flash_device); }