Index: common/include/stdlib.h
===================================================================
--- common/include/stdlib.h	(revision b889a647bce0dd921603cd2fd4c567b0134d5ab6)
+++ common/include/stdlib.h	(revision 36fcd0aa0351a3cf863769051cecc98de2bbc353)
@@ -122,4 +122,7 @@
     __attribute__((malloc));
 
+extern void *reallocarray(void *ptr, size_t nelem, size_t elsize)
+    __attribute__((warn_unused_result));
+
 __HELENOS_DECLS_END;
 #endif