Rename PORT_KBD_* to PORT_PS2_*

[seabios.git] / src / system.c

diff --git a/src/system.c b/src/system.c
index 331e4521f6098c43e1c953661e21864fd1249857..be38c3d50edc9c01f2f7944adcfc366b66f2452c 100644 (file)
--- a/src/system.c
+++ b/src/system.c
@@ -91,9 +91,9 @@ static void
 usleep(u32 count)
 {
     count = count / 15;
-    u8 kbd = inb(PORT_KBD_CTRLB);
+    u8 kbd = inb(PORT_PS2_CTRLB);
     while (count)
-        if ((inb(PORT_KBD_CTRLB) ^ kbd) & KBD_REFRESH)
+        if ((inb(PORT_PS2_CTRLB) ^ kbd) & KBD_REFRESH)
             count--;
 }