SYS_compat_50_clock_gettime
{ SYS_compat_50_clock_gettime, 0,
{ SYS_compat_50_clock_gettime, "compat_50" },