int timer_delete(timer_t t)
{
- if (t->thread) pthread_cancel(t->thread);
- else {
- __syscall(SYS_timer_delete, t->timerid);
- free(t);
- }
- return 0;
+ if ((uintptr_t)t >= 0x100000) return pthread_cancel(t);
+ return __syscall(SYS_timer_delete, (long)t);
}