Index: libc/arch/ia32/src/syscall.c
===================================================================
--- libc/arch/ia32/src/syscall.c	(revision 07824fda7b0f391520ba09d63f6597347ecb1bb2)
+++ libc/arch/ia32/src/syscall.c	(revision e209fc9638825e0d9388de4f48da510f066470b6)
@@ -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;
 }
+
+/** @}
+ */
+