Index: uspace/lib/c/include/sys/time.h
===================================================================
--- uspace/lib/c/include/sys/time.h	(revision aad43a8dbfb798a7d4d09653539297bee4b5c0fc)
+++ uspace/lib/c/include/sys/time.h	(revision af9f2713e4ff69fa111b9bbbc7ad69ee5fb841ce)
@@ -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