linux32_sys_clock_gettime
int linux32_sys_clock_gettime(struct lwp *, const struct linux32_sys_clock_gettime_args *, register_t *);
check_syscall_args(linux32_sys_clock_gettime)
.sy_call = (sy_call_t *)linux32_sys_clock_gettime
int linux32_sys_clock_gettime(struct lwp *, const struct linux32_sys_clock_gettime_args *, register_t *);
check_syscall_args(linux32_sys_clock_gettime)
.sy_call = (sy_call_t *)linux32_sys_clock_gettime