X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fdevices%2Fkbd.c;fp=src%2Fdevices%2Fkbd.c;h=e5d3d820c3f17d58cb8fdb2ea6a511f4129874e1;hp=21c98a5574a6b799bcf40238c21fbd0fb890fc00;hb=f8cae751ac2163f5fe73d5b1372c93ada35dc9e3;hpb=76a72158378a6447bb3dbce5bae41db48da0d64f

diff --git a/src/devices/kbd.c b/src/devices/kbd.c
index 21c98a5..e5d3d82 100644
--- a/src/devices/kbd.c
+++ b/src/devices/kbd.c
@@ -5,7 +5,7 @@
 #include "lib.h"
 
 static void
-irq21_keyboard (struct intr_args *args UNUSED) 
+irq21_keyboard (struct intr_frame *args UNUSED) 
 {
   printk ("Keyboard!\n");
   inb (0x60);