linux32_sys_timer_gettime
int linux32_sys_timer_gettime(struct lwp *, const struct linux32_sys_timer_gettime_args *, register_t *);
check_syscall_args(linux32_sys_timer_gettime)
.sy_call = (sy_call_t *)linux32_sys_timer_gettime
int linux32_sys_timer_gettime(struct lwp *, const struct linux32_sys_timer_gettime_args *, register_t *);
check_syscall_args(linux32_sys_timer_gettime)
.sy_call = (sy_call_t *)linux32_sys_timer_gettime