Index: uspace/lib/c/arch/ppc32/src/stacktrace.c
===================================================================
--- uspace/lib/c/arch/ppc32/src/stacktrace.c	(revision b66cc977e145eaa74a7e9fe52a4a2e995c81ad02)
+++ uspace/lib/c/arch/ppc32/src/stacktrace.c	(revision 84a1a546f62a2ba0f913f8f1bfce8d4bc68d7aa4)
@@ -35,5 +35,5 @@
  */
 
-#include <sys/types.h>
+#include <stdint.h>
 #include <stdbool.h>
 
Index: uspace/lib/c/arch/ppc32/src/tls.c
===================================================================
--- uspace/lib/c/arch/ppc32/src/tls.c	(revision b66cc977e145eaa74a7e9fe52a4a2e995c81ad02)
+++ uspace/lib/c/arch/ppc32/src/tls.c	(revision 84a1a546f62a2ba0f913f8f1bfce8d4bc68d7aa4)
@@ -34,5 +34,5 @@
 
 #include <tls.h>
-#include <sys/types.h>
+#include <stddef.h>
 
 tcb_t *tls_alloc_arch(void **data, size_t size)