NETBSD32_SYS_compat_30_netbsd32_ntp_gettime
{ NETBSD32_SYS_compat_30_netbsd32_ntp_gettime, 0,
{ NETBSD32_SYS_compat_30_netbsd32_ntp_gettime, "compat_netbsd32_30" },