Changes in kernel/generic/src/proc/thread.c [c0699467:55b77d9] in mainline

File:

• kernel/generic/src/proc/thread.c (modified) (2 diffs)

kernel/generic/src/proc/thread.c

@@ -39 +39 @@
 #include <proc/thread.h>
 #include <proc/task.h>
+#include <proc/uarg.h>
 #include <mm/frame.h>
 #include <mm/page.h>
@@ -44 +45 @@
 #include <arch/cycle.h>
 #include <arch.h>
+#include <synch/synch.h>
 #include <synch/spinlock.h>
 #include <synch/waitq.h>