Changes in kernel/generic/include/synch/semaphore.h [83dab11:b7fd2a0] in mainline

File:

• kernel/generic/include/synch/semaphore.h (modified) (2 diffs)

kernel/generic/include/synch/semaphore.h

@@ -36 +36 @@
 #define KERN_SEMAPHORE_H_
 
+#include <errno.h>
 #include <stdint.h>
 #include <synch/waitq.h>
@@ -54 +55 @@
 
 #define semaphore_down_interruptable(s) \
-        (ESYNCH_INTERRUPTED != _semaphore_down_timeout((s), SYNCH_NO_TIMEOUT, \
-                SYNCH_FLAGS_INTERRUPTIBLE))
+        (_semaphore_down_timeout((s), SYNCH_NO_TIMEOUT, \
+                SYNCH_FLAGS_INTERRUPTIBLE) != EINTR)
 
 extern void semaphore_initialize(semaphore_t *, int);
-extern int _semaphore_down_timeout(semaphore_t *, uint32_t, unsigned int);
+extern errno_t _semaphore_down_timeout(semaphore_t *, uint32_t, unsigned int);
 extern void semaphore_up(semaphore_t *);
 extern int semaphore_count_get(semaphore_t *);