__NR_timerfd_gettime
__SC_3264(__NR_timerfd_gettime, sys_timerfd_gettime32, \
return my_syscall2(__NR_timerfd_gettime, fd, curr_value);