sys_gettimeofday_args
{ 2, s(struct sys_gettimeofday_args), SY_NOLOCK | 0,
struct sys_gettimeofday_args /* {