diff --git a/lib/libc/arm/gen/_set_tp.c b/lib/libc/arm/gen/_set_tp.c
index 9307d95798f4..44bbdd8ba763 100644
--- a/lib/libc/arm/gen/_set_tp.c
+++ b/lib/libc/arm/gen/_set_tp.c
@@ -27,7 +27,7 @@
  */
 
 #include <string.h>
-#include <stdint.h>
+#include <sys/types.h>
 
 #include <machine/sysarch.h>