Index: uspace/lib/c/include/time.h
===================================================================
--- uspace/lib/c/include/time.h	(revision 5f1d850c7ef9cee92e7484657faa82d8db56699d)
+++ uspace/lib/c/include/time.h	(revision d2c91abd4b109375f45c1205641991d346b2de18)
@@ -107,5 +107,6 @@
 
 /* ISO/IEC 9899:2011 7.27.3.5 (1) */
-extern size_t strftime(char *, size_t, const char *, const struct tm *);
+extern size_t strftime(char *__restrict__, size_t, const char *__restrict__,
+    const struct tm *__restrict__);