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_p55t2p4_init() { at_init(); mouse_ps2_init(); pci_init(PCI_CONFIG_TYPE_1, 0, 31); i430hx_init(); piix3_init(7); w83877f_init(); device_add(&intel_flash_bxt_device); }
void at_acerv35n_init() { at_init(); mouse_ps2_init(); pci_init(PCI_CONFIG_TYPE_1, 0xd, 0x10); i430hx_init(); piix3_init(7); fdc37c932fr_init(); acerm3a_io_init(); device_add(&intel_flash_bxb_device); }
void at_endeavor_init() { at_init(); mouse_ps2_init(); pci_init(PCI_CONFIG_TYPE_1, 0xd, 0x10); i430fx_init(); piix_init(7); pc87306_init(); intel_endeavor_init(); device_add(&intel_flash_bxt_ami_device); }
void at_wd76c10_init() { PCI = 0; maxide = 2; AT = 1; is386 = 1; at_init(); mouse_ps2_init(); wd76c10_init(); is386 = 1; }
void at_acer386sx_init() { PCI = 0; maxide = 2; AT = 1; is386 = 1; at_init(); mouse_ps2_init(); acer386sx_init(); is386 = 1; }
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 ps1_init() { AT = 1; common_init(); pit_set_out_func(1, pit_refresh_timer_at); dma16_init(); ide_init(); keyboard_at_init(); mouse_ps2_init(); nvr_init(); pic2_init(); ps1mb_init(); fdc_set_dskchg_activelow(); }
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 ps1_common_init() { AT = 1; common_init(); mem_add_bios(); pit_set_out_func(1, pit_refresh_timer_at); dma16_init(); ide_init(); keyboard_at_init(); mouse_ps2_init(); nvr_init(); pic2_init(); fdc_set_dskchg_activelow(); device_add(&ps1_audio_device); /*PS/1 audio uses ports 200h and 202-207h, so only initialise gameport on 201h*/ device_add(&gameport_201_device); }
void at_endeavor_init() { PCI = 1; maxide = 4; AT = 1; is386 = 1; at_init(); // mouse_serial_init(); mouse_ps2_init(); pci_init(PCI_CONFIG_TYPE_1, 0xd, 0x10); i430fx_init(); piix_init(7); pc87306_init(); has_pc87306 = 1; intel_endeavor_init(); device_add(&intel_flash_device); }
void at_wd76c10_init() { at_init(); mouse_ps2_init(); wd76c10_init(); }
void at_acer386sx_init() { at_init(); mouse_ps2_init(); acer386sx_init(); }