Index: kernel/generic/include/proc/thread.h
===================================================================
--- kernel/generic/include/proc/thread.h	(revision fb1a4beb7ebcd756c207114d14b11612fc838ed7)
+++ kernel/generic/include/proc/thread.h	(revision e8d3c6f55fdb9a5a1e2e4d95612cb04c4ea82652)
@@ -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>