Index: include/proc/task.h
===================================================================
--- include/proc/task.h	(revision 361635cc8cbd2af7919fe3e68f9792ebe4770f2c)
+++ include/proc/task.h	(revision a6f889981680d139ce46a5e36dd9d64fe4b49a2a)
@@ -32,6 +32,4 @@
 #include <typedefs.h>
 #include <synch/spinlock.h>
-#include <proc/thread.h>
-#include <mm/vm.h>
 #include <list.h>
 
Index: include/proc/thread.h
===================================================================
--- include/proc/thread.h	(revision 361635cc8cbd2af7919fe3e68f9792ebe4770f2c)
+++ include/proc/thread.h	(revision a6f889981680d139ce46a5e36dd9d64fe4b49a2a)
@@ -31,5 +31,4 @@
 
 #include <arch/thread.h>
-#include <proc/task.h>
 #include <synch/spinlock.h>
 #include <arch/context.h>
@@ -39,5 +38,4 @@
 #include <time/timeout.h>
 #include <synch/rwlock.h>
-#include <mm/page.h>
 #include <config.h>
 #include <list.h>