- return syscall(SYS_timer_settime, t->timerid, flags, val, old);
+ if ((intptr_t)t < 0) {
+ pthread_t td = (void *)((uintptr_t)t << 1);
+ t = (void *)(uintptr_t)(td->timer_id & INT_MAX);
+ }
+ return syscall(SYS_timer_settime, (long)t, flags, val, old);