- First stab at getting the ppc ports building and working.

[coreboot.git] / src / pc80 / keyboard.c

diff --git a/src/pc80/keyboard.c b/src/pc80/keyboard.c
index f46d1ffa16c3e5e3936760f1ae84d0b56a11b20f..ccec00488c1ccda1377bec86db54cc11094ce9af 100644 (file)
--- a/src/pc80/keyboard.c
+++ b/src/pc80/keyboard.c
@@ -26,7 +26,6 @@ static int kbd_empty_output_buffer(void)
 static void pc_keyboard_init(struct pc_keyboard *keyboard)
 {
        unsigned char regval;
-       unsigned long timeout;
 
        /* send cmd = 0xAA, self test 8042 */
        outb(0xaa, 0x64);