intr_args => intr_frame.

[pintos-anon] / src / devices / kbd.c

diff --git a/src/devices/kbd.c b/src/devices/kbd.c
index 21c98a5574a6b799bcf40238c21fbd0fb890fc00..e5d3d820c3f17d58cb8fdb2ea6a511f4129874e1 100644 (file)
--- 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);