compat_30_netbsd32_ntp_gettime
(sy_call_t *)compat_30_netbsd32_ntp_gettime },
int compat_30_netbsd32_ntp_gettime(struct lwp *, const struct compat_30_netbsd32_ntp_gettime_args *, register_t *);
check_syscall_args(compat_30_netbsd32_ntp_gettime)