__NR_timerfd_gettime64
__SYSCALL(__NR_timerfd_gettime64, sys_timerfd_gettime)
#if defined(__NR_timerfd_gettime64)
return my_syscall2(__NR_timerfd_gettime64, fd, curr_value);
__SYSCALL(__NR_timerfd_gettime64, sys_timerfd_gettime)