From 76c0b168b25f7ce6e07a44dd01985d94f20e2b54 Mon Sep 17 00:00:00 2001
From: RichardG867 <richardg867@gmail.com>
Date: Fri, 19 Jun 2020 13:37:23 -0300
Subject: [PATCH] Fix reset function name

---
 src/keyboard_at.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/keyboard_at.c b/src/keyboard_at.c
index 4e1bc3743..662f20373 100644
--- a/src/keyboard_at.c
+++ b/src/keyboard_at.c
@@ -1041,7 +1041,7 @@ write_output(atkbd_t *dev, uint8_t val)
 			   SeaBIOS gets caught in a soft reset loop as it tries to hard reset the
 			   machine. Hack around this by making the KBC reset a hard reset only on
 			   coreboot machines. */
-			pc_reset(1);
+			pc_reset_hard();
 		} else {
 			softresetx86(); /*Pulse reset!*/
 			cpu_set_edx();