Prepare to remove serial receive path.

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

diff --git a/src/devices/timer.c b/src/devices/timer.c
index d23bed3efb043618feb465a4259c85c8f77e5868..1706201f4ea8590b54a9bc58792667128bb23cf7 100644 (file)
--- a/src/devices/timer.c
+++ b/src/devices/timer.c
@@ -1,7 +1,7 @@
-#include "timer.h"
-#include "debug.h"
-#include "interrupt.h"
-#include "io.h"
+#include "devices/timer.h"
+#include <debug.h>
+#include "threads/interrupt.h"
+#include "threads/io.h"
   
 #if TIMER_FREQ < 19
 #error 8254 timer requires TIMER_FREQ >= 19