Index: uspace/lib/c/arch/ia32/include/types.h
===================================================================
--- uspace/lib/c/arch/ia32/include/types.h	(revision c53a7058118854e855fbb20ae8db4911bd30460b)
+++ uspace/lib/c/arch/ia32/include/types.h	(revision 6ab014d27d806a580e52462708bcc3054d29e0a8)
@@ -51,4 +51,5 @@
 typedef uint32_t size_t;
 
+typedef int32_t intptr_t;
 typedef uint32_t uintptr_t;
 typedef int32_t intptr_t;