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