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 3ec2acc5fe46d047e352ebba9dfc534ee35a9ca4)
@@ -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 3ec2acc5fe46d047e352ebba9dfc534ee35a9ca4)
@@ -36,5 +36,5 @@
 
 #include <tls.h>
-#include <sys/types.h>
+#include <stddef.h>
 
 tcb_t *tls_alloc_arch(void **data, size_t size)