Index: uspace/lib/c/include/stdio.h
===================================================================
--- uspace/lib/c/include/stdio.h	(revision ddd0499d218f4fad4f9b6e819d50044f2863aba0)
+++ uspace/lib/c/include/stdio.h	(revision 651c8dbd8d3b9a89ca7da022f6cf99629d9f467e)
@@ -124,4 +124,8 @@
 extern int vsnprintf(char *, size_t, const char *, va_list);
 
+extern int printf_size(const char *, ...)
+    PRINTF_ATTRIBUTE(1, 2);
+extern int vprintf_size(const char *, va_list);
+
 /* File stream functions */
 extern FILE *fopen(const char *, const char *);