diff --git a/src/machine/m_at_sockets7.c b/src/machine/m_at_sockets7.c
index ba26fdb99..e9487ecfe 100644
--- a/src/machine/m_at_sockets7.c
+++ b/src/machine/m_at_sockets7.c
@@ -215,39 +215,6 @@ machine_at_ax59pro_init(const machine_t *model)
 }
 
 
-int
-machine_at_ax59pro_init(const machine_t *model)
-{
-    int ret;
-
-    ret = bios_load_linear("roms/machines/ax59pro/AX59P236.BIN",
-			   0x000c0000, 262144, 0);
-
-    if (bios_only || !ret)
-	return ret;
-
-    machine_at_common_init_ex(model, 2);
-
-    pci_init(PCI_CONFIG_TYPE_1);
-    pci_register_slot(0x00, PCI_CARD_NORTHBRIDGE, 0, 0, 0, 0);
-    pci_register_slot(0x07, PCI_CARD_SOUTHBRIDGE, 1, 2, 0, 0);
-    pci_register_slot(0x09, PCI_CARD_NORMAL,      4, 1, 2, 3);
-    pci_register_slot(0x0A, PCI_CARD_NORMAL,      3, 4, 1, 2);
-    pci_register_slot(0x0B, PCI_CARD_NORMAL,      2, 3, 4, 1);
-    pci_register_slot(0x0C, PCI_CARD_NORMAL,      1, 2, 3, 4);
-    pci_register_slot(0x01, PCI_CARD_AGPBRIDGE,   1, 2, 3, 4);
-
-    device_add(&via_mvp3_device);
-    device_add(&via_vt82c586b_device);
-    device_add(&keyboard_ps2_pci_device);
-    device_add(&w83877tf_device);
-    device_add(&sst_flash_39sf020_device);
-    spd_register(SPD_TYPE_SDRAM, 0x7, 256);
-
-    return ret;
-}
-
-
 int
 machine_at_mvp3_init(const machine_t *model)
 {