| OLD | NEW |
| 1 #include <time.h> | 1 #include <time.h> |
| 2 #include <limits.h> | 2 #include <limits.h> |
| 3 #include "pthread_impl.h" | 3 #include "pthread_impl.h" |
| 4 | 4 |
| 5 int timer_getoverrun(timer_t t) | 5 int timer_getoverrun(timer_t t) { |
| 6 { | 6 if ((intptr_t)t < 0) { |
| 7 » if ((intptr_t)t < 0) { | 7 pthread_t td = (void*)((uintptr_t)t << 1); |
| 8 » » pthread_t td = (void *)((uintptr_t)t << 1); | 8 t = (void*)(uintptr_t)(td->timer_id & INT_MAX); |
| 9 » » t = (void *)(uintptr_t)(td->timer_id & INT_MAX); | 9 } |
| 10 » } | 10 return syscall(SYS_timer_getoverrun, t); |
| 11 » return syscall(SYS_timer_getoverrun, t); | |
| 12 } | 11 } |
| OLD | NEW |