Index: uspace/lib/c/include/time.h
===================================================================
--- uspace/lib/c/include/time.h	(revision fc10e1b945611fb364f75d69f5864f22ed4a8e84)
+++ 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__);