From c0be988ec4f3fbbb2f33a5aab971d1a25537909e Mon Sep 17 00:00:00 2001
From: OBattler <oubattler@gmail.com>
Date: Sat, 8 Apr 2023 02:44:12 +0200
Subject: [PATCH] Added the TriGem AMI keyboard controllers.

---
 src/machine/m_at_386dx_486.c | 8 ++++----
 src/machine/m_at_socket5.c   | 2 +-
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/machine/m_at_386dx_486.c b/src/machine/m_at_386dx_486.c
index 8b743af2f..ee54758e2 100644
--- a/src/machine/m_at_386dx_486.c
+++ b/src/machine/m_at_386dx_486.c
@@ -220,7 +220,7 @@ machine_at_spc6000a_init(const machine_t *model)
     if (fdc_type == FDC_INTERNAL)
         device_add(&fdc_at_device);
 
-    device_add(&keyboard_at_samsung_device);
+    device_add(&keyboard_at_ami_device);
 
     return ret;
 }
@@ -1657,7 +1657,7 @@ machine_at_actionpc2600_init(const machine_t *model)
     device_add(&umc_8886af_device);
     device_add(&um8669f_device);
     device_add(&intel_flash_bxt_device);
-    device_add(&keyboard_ps2_ami_device);
+    device_add(&keyboard_ps2_tg_ami_device);
 
     return ret;
 }
@@ -1782,7 +1782,7 @@ machine_at_tg486gp_init(const machine_t *model)
     device_add(&ali1435_device);
     device_add(&sst_flash_29ee010_device);
 
-    device_add(&keyboard_ps2_ami_device);
+    device_add(&keyboard_ps2_tg_ami_device);
 
     return ret;
 }
@@ -1806,7 +1806,7 @@ machine_at_tg486g_init(const machine_t *model)
     device_add(&sis_85c471_device);
     device_add(&ide_isa_device);
     device_add(&fdc37c651_ide_device);
-    device_add(&keyboard_ps2_intel_ami_pci_device);
+    device_add(&keyboard_ps2_tg_ami_pci_device);
 
     return ret;
 }
diff --git a/src/machine/m_at_socket5.c b/src/machine/m_at_socket5.c
index 842554713..9a45e71bf 100644
--- a/src/machine/m_at_socket5.c
+++ b/src/machine/m_at_socket5.c
@@ -237,7 +237,7 @@ machine_at_hawk_init(const machine_t *model)
     pci_register_slot(0x13, PCI_CARD_NORMAL,      2, 3, 4, 1);
     pci_register_slot(0x12, PCI_CARD_NORMAL,      3, 4, 1, 2);
     pci_register_slot(0x07, PCI_CARD_SOUTHBRIDGE, 0, 0, 0, 0);
-    device_add(&keyboard_ps2_ami_pci_device);
+    device_add(&keyboard_ps2_tg_ami_pci_device);
     device_add(&i430fx_device);
     device_add(&piix_device);
     device_add(&fdc37c665_device);