Index: uspace/lib/c/arch/arm32/include/types.h
===================================================================
--- uspace/lib/c/arch/arm32/include/types.h	(revision c53d90624940aafb20634e3c830f61e7551afe43)
+++ uspace/lib/c/arch/arm32/include/types.h	(revision 98a0fd335e1aad46a0ff2dd9402f2ee048ebecf7)
@@ -52,4 +52,5 @@
 typedef uint32_t size_t;
 
+typedef int32_t intptr_t;
 typedef uint32_t uintptr_t;
 typedef uint32_t atomic_count_t;