__NR_timer_delete
__SYSCALL(__NR_timer_delete, sys_timer_delete)
return my_syscall1(__NR_timer_delete, timerid);
__SYSCALL(__NR_timer_delete, sys_timer_delete)
return syscall(__NR_timer_delete, id);