Make tests public. Rewrite most tests. Add tests.
[pintos-anon] / src / devices / kbd.c
index a26498477cb3397c5f1d771b06303c5c6c3ffaaf..1ddf3e243c38220640016f3beb02280b5fa6f049 100644 (file)
@@ -34,8 +34,8 @@ static intr_handler_func keyboard_interrupt;
 void
 kbd_init (void) 
 {
-  intq_init (&buffer, "keyboard");
-  intr_register (0x21, 0, INTR_OFF, keyboard_interrupt, "8042 Keyboard");
+  intq_init (&buffer);
+  intr_register_ext (0x21, keyboard_interrupt, "8042 Keyboard");
 }
 
 /* Retrieves a key from the keyboard buffer.