NETBSD32_SYS_compat_50_netbsd32_clock_gettime
{ NETBSD32_SYS_compat_50_netbsd32_clock_gettime, 0,
{ NETBSD32_SYS_compat_50_netbsd32_clock_gettime, "compat_netbsd32_50" },