void at_r418_init() { at_init(); mouse_serial_init(); pci_init(PCI_CONFIG_TYPE_1, 0, 31); fdc37c665_init(); device_add(&sis496_device); }
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_mb500n_init() { at_init(); mouse_serial_init(); pci_init(PCI_CONFIG_TYPE_1, 0, 31); i430fx_init(); piix_init(7); fdc37c665_init(); intel_endeavor_init(); device_add(&intel_flash_bxt_device); }
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_colorbook_init() { PCI = 0; maxide = 2; AT = 1; is386 = 1; at_init(); mouse_ps2_init(); /* Really the FDC37C663 but we share the file as they are essentially identical except for the vendor ID. */ fdc37c665_init(); colorbook_io_init(); }
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); }
void at_sis496_init() { PCI = 1; maxide = 4; AT = 1; is386 = 1; at_init(); mouse_serial_init(); pci_init(PCI_CONFIG_TYPE_1, 0, 31); // um8663b_init(); fdc37c665_init(); device_add(&sis496_device); maxide = 4; is386 = 1; }
void at_i430fx_init() { PCI = 1; maxide = 4; AT = 1; is386 = 1; at_init(); mouse_serial_init(); // mouse_ps2_init(); pci_init(PCI_CONFIG_TYPE_1, 0, 31); i430fx_init(); piix_init(7); // um8669f_init(); fdc37c665_init(); intel_endeavor_init(); device_add(&intel_flash_device); }
void at_i440fx_init() { PCI = 1; maxide = 4; AT = 1; is386 = 1; at_init(); mouse_serial_init(); // mouse_ps2_init(); pci_init(PCI_CONFIG_TYPE_1, 0, 31); i440fx_init(); piix_init(7); // um8669f_init(); /* Note by OBattler: Switched to a BIOS using that Super I/O chip because it's better than UMC. */ // fdc37c669_init(); fdc37c665_init(); device_add(&intel_flash_device); }