pintos-os.org Git - pintos-anon/blob - src/devices/kbd.c

   1 #include "devices/kbd.h"
   2 #include <debug.h>
   3 #include <stdio.h>
   4 #include "threads/interrupt.h"
   5 #include "threads/io.h"
   6
   7 static void
   8 irq21_keyboard (struct intr_frame *args UNUSED)
   9 {
  10   printf ("Keyboard!\n");
  11   inb (0x60);
  12 }
  13
  14 void
  15 kbd_init (void)
  16 {
  17   intr_register (0x21, 0, INTR_OFF, irq21_keyboard, "8042 Keyboard");
  18 }