printf core: fix gratuitous integer formatting buffer size

[musl] / include / semaphore.h

diff --git a/include/semaphore.h b/include/semaphore.h
index 724957f..3690f49 100644 (file)
--- a/include/semaphore.h
+++ b/include/semaphore.h
@@ -4,11 +4,7 @@
 extern "C" {
 #endif
 
-#if __STDC_VERSION__ >= 199901L
-#define __restrict restrict
-#elif !defined(__GNUC__)
-#define __restrict
-#endif
+#include <features.h>
 
 #define __NEED_time_t
 #define __NEED_struct_timespec
@@ -19,7 +15,7 @@ extern "C" {
 #define SEM_FAILED ((sem_t *)0)
 
 typedef struct {
-       int __val[4*sizeof(long)/sizeof(int)];
+       volatile int __val[4*sizeof(long)/sizeof(int)];
 } sem_t;
 
 int    sem_close(sem_t *);
@@ -33,6 +29,10 @@ int    sem_trywait(sem_t *);
 int    sem_unlink(const char *);
 int    sem_wait(sem_t *);
 
+#if _REDIR_TIME64
+__REDIR(sem_timedwait, __sem_timedwait_time64);
+#endif
+
 #ifdef __cplusplus
 }
 #endif