sys_timerfd_gettime
.sy_call = (sy_call_t *)sys_timerfd_gettime
check_syscall_args(sys_timerfd_gettime)
int sys_timerfd_gettime(struct lwp *, const struct sys_timerfd_gettime_args *, register_t *);