Index: kernel/generic/include/proc/thread.h
===================================================================
--- kernel/generic/include/proc/thread.h	(revision fb1a4beb7ebcd756c207114d14b11612fc838ed7)
+++ kernel/generic/include/proc/thread.h	(revision 9ba415e8ec4bc684d1ba8a424cc83de1a57c7aa9)
@@ -48,4 +48,5 @@
 #include <abi/proc/uarg.h>
 #include <udebug/udebug.h>
+#include <abi/proc/thread.h>
 #include <abi/sysinfo.h>
 #include <arch.h>