compat_50_sys___ntp_gettime30
(sy_call_t *)compat_50_sys___ntp_gettime30 },
check_syscall_args(compat_50_sys___ntp_gettime30)
int compat_50_sys___ntp_gettime30(struct lwp *, const struct compat_50_sys___ntp_gettime30_args *, register_t *);