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