Clean up interrupt handling.

[pintos-anon] / src / threads / interrupt.c

diff --git a/src/threads/interrupt.c b/src/threads/interrupt.c
index 4ab0050c9ceff522dedc962c3f4fb7c91f106a14..6250f817fec9010e9e23dae3ed5849d5f4ac587a 100644 (file)
--- a/src/threads/interrupt.c
+++ b/src/threads/interrupt.c
@@ -1,5 +1,6 @@
 #include "interrupt.h"
 #include <stdint.h>
+#include "intr-stubs.h"
 #include "debug.h"
 #include "io.h"
 #include "lib.h"
@@ -94,8 +95,6 @@ pic_eoi (void)
 \f
 uint64_t idt[256];
 
-extern void (*intr_stubs[256]) (void);
-
 intr_handler_func *intr_handlers[256];
 
 void intr_handler (struct intr_frame *args);