Attempted revert back to resetx86() with a mem.c fix.

2021-04-04 08:17:02 +02:00
parent 32205e10b8
commit 39f98cd063
2 changed files with 3 additions and 1 deletions
--- a/src/device/keyboard_at.c
+++ b/src/device/keyboard_at.c
@@ -1059,7 +1059,7 @@ write_output(atkbd_t *dev, uint8_t val)
    if ((dev->output_port ^ val) & 0x01) { /*Reset*/
 	if (! (val & 0x01)) {
 		/* Pin 0 selected. */
-		softresetx86(); /*Pulse reset!*/
+		resetx86(); /*Pulse reset!*/
 		cpu_set_edx();
 	}
    }