Index: uspace/lib/c/arch/amd64/src/stacktrace.c
===================================================================
--- uspace/lib/c/arch/amd64/src/stacktrace.c	(revision 585635856440deab73ad5891daab8fa87901aa68)
+++ uspace/lib/c/arch/amd64/src/stacktrace.c	(revision e540bc874e3accb1e3c70f4fa85bba2a12f7a592)
@@ -35,5 +35,5 @@
  */
 
-#include <sys/types.h>
+#include <stdint.h>
 #include <stdbool.h>
 
Index: uspace/lib/c/arch/amd64/src/tls.c
===================================================================
--- uspace/lib/c/arch/amd64/src/tls.c	(revision 585635856440deab73ad5891daab8fa87901aa68)
+++ uspace/lib/c/arch/amd64/src/tls.c	(revision e540bc874e3accb1e3c70f4fa85bba2a12f7a592)
@@ -36,5 +36,5 @@
 
 #include <tls.h>
-#include <sys/types.h>
+#include <stddef.h>
 
 tcb_t *tls_alloc_arch(void **data, size_t size)