X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Finterrupt.c;h=6d3f6bb2e269a909de1cce3cdc8ea9d14ae888b5;hb=f415a37905c57f61b444806bf84f5405184452aa;hp=29aea870ba547e4e67a5534c36c2f498e82c03e6;hpb=8abbb333aea445641d967befd3ca477502ea770b;p=pintos-anon

diff --git a/src/threads/interrupt.c b/src/threads/interrupt.c
index 29aea87..6d3f6bb 100644
--- a/src/threads/interrupt.c
+++ b/src/threads/interrupt.c
@@ -6,8 +6,8 @@
 #include "threads/flags.h"
 #include "threads/intr-stubs.h"
 #include "threads/io.h"
-#include "threads/mmu.h"
 #include "threads/thread.h"
+#include "threads/vaddr.h"
 #include "devices/timer.h"
 
 /* Number of x86 interrupts. */