X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdevices%2Fkbd.c;h=1ddf3e243c38220640016f3beb02280b5fa6f049;hb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;hp=a26498477cb3397c5f1d771b06303c5c6c3ffaaf;hpb=838c30d0075a3ee0413ba4909944b37f4970a10d;p=pintos-anon diff --git a/src/devices/kbd.c b/src/devices/kbd.c index a264984..1ddf3e2 100644 --- a/src/devices/kbd.c +++ b/src/devices/kbd.c @@ -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.