Index: fusl/src/time/timer_delete.c |
diff --git a/fusl/src/time/timer_delete.c b/fusl/src/time/timer_delete.c |
index 7c97eeb1a1d8340fd07f9f045f1964680a18697d..89586e6c80cd380ed5d5f5d2a3c2eaf6a07526ba 100644 |
--- a/fusl/src/time/timer_delete.c |
+++ b/fusl/src/time/timer_delete.c |
@@ -2,13 +2,12 @@ |
#include <limits.h> |
#include "pthread_impl.h" |
-int timer_delete(timer_t t) |
-{ |
- if ((intptr_t)t < 0) { |
- pthread_t td = (void *)((uintptr_t)t << 1); |
- a_store(&td->timer_id, td->timer_id | INT_MIN); |
- __wake(&td->timer_id, 1, 1); |
- return 0; |
- } |
- return __syscall(SYS_timer_delete, t); |
+int timer_delete(timer_t t) { |
+ if ((intptr_t)t < 0) { |
+ pthread_t td = (void*)((uintptr_t)t << 1); |
+ a_store(&td->timer_id, td->timer_id | INT_MIN); |
+ __wake(&td->timer_id, 1, 1); |
+ return 0; |
+ } |
+ return __syscall(SYS_timer_delete, t); |
} |