Index: uspace/lib/c/include/sys/time.h
===================================================================
--- uspace/lib/c/include/sys/time.h	(revision 493f1beab3cdc0d5615bc4f2b6e5946e6bf3270e)
+++ uspace/lib/c/include/sys/time.h	(revision 517c67abd8bcf681bedfe25bdd84b5a5d1e3bb22)
@@ -93,6 +93,6 @@
 extern int time_local2str(const time_t, char *);
 extern double difftime(time_t, time_t);
-extern size_t strftime(char *restrict, size_t, const char *restrict,
-    const struct tm *restrict);
+extern size_t strftime(char *__restrict__, size_t, const char *__restrict__,
+    const struct tm *__restrict__);
 
 #endif