SYS_compat_50_gettimeofday
{ SYS_compat_50_gettimeofday, 0,
{ SYS_compat_50_gettimeofday, "compat_50" },