intr_args => intr_frame.

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

diff --git a/src/devices/timer.c b/src/devices/timer.c
index 67fe567b48366bae5ba4c965f2a3a6e2ef773611..4adca8989cf1192612a0c009d187f999c2d5e25a 100644 (file)
--- a/src/devices/timer.c
+++ b/src/devices/timer.c
@@ -6,7 +6,7 @@
 static volatile uint64_t ticks;
 
 static void
-irq20_timer (struct intr_args *args UNUSED)
+irq20_timer (struct intr_frame *args UNUSED)
 {
   ticks++;
   intr_yield_on_return ();