Rename PORT_KBD_* to PORT_PS2_*
[people/mcb30/legacybios.git] / src / system.c
index 331e452..be38c3d 100644 (file)
@@ -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--;
 }