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();
}