Index: libc/arch/ia32/src/syscall.c
===================================================================
--- libc/arch/ia32/src/syscall.c	(revision 1ee11f4012cb68a874bb756d54e7d501cf252ee9)
+++ libc/arch/ia32/src/syscall.c	(revision 846848a632676ac86608fbe67cb2574e1b00cc5e)
@@ -27,4 +27,13 @@
  */
 
+ /** @addtogroup libcia32 ia32
+ * @brief	ia32 architecture dependent parts of libc
+ * @ingroup lc
+ * @{
+ */
+/** @file
+ */
+
+#include <thread.h>
 #include <libc.h>
 
@@ -46,2 +55,6 @@
 	return ret;
 }
+
+/** @}
+ */
+