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