sys_gettimeofday
{ AS(gettimeofday_args), 4, (sy_call_t *)sys_gettimeofday }, /* 116 = gettimeofday */
int sys_gettimeofday (struct sysmsg *sysmsg, const struct gettimeofday_args *);