__NR_timer_gettime64
__SYSCALL(__NR_timer_gettime64, sys_timer_gettime)
#if defined(__NR_timer_gettime64)
return my_syscall2(__NR_timer_gettime64, timerid, curr_value);
__SYSCALL(__NR_timer_gettime64, sys_timer_gettime)